Authors: Ariola, Zena, Downen, Paul, Herbelin, Hugo, Nakata, Keiko, Saurin, Alexis
Contributors: Department of Computer and Information Science, University of Oregon Eugene, Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Design, study and implementation of languages for proofs and programs ( PI.R2 ), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institute of Cybernetics Tallinn, Tallinn University of Technology (TTÜ), Équipe associée INRIA Sémacode, Tom Schrijvers and Peter Thiemann
Superior Title: FLOPS 2012 - 11th International Symposium on Functional and Logic Programming ; https://inria.hal.science/hal-00697241 ; FLOPS 2012 - 11th International Symposium on Functional and Logic Programming, May 2012, Kobe, Japan. pp.32-46, ⟨10.1007/978-3-642-29822-6⟩
Subject Terms: call-by-need, lazy evaluation, duality of computation, sequent calculus, lambda-mu-calculus, classical logic, control, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.0: Control primitives, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: hal-00697241; https://inria.hal.science/hal-00697241; https://inria.hal.science/hal-00697241/document; https://inria.hal.science/hal-00697241/file/classical-need-artifacts.pdf
Authors: Ariola, Zena, Downen, Paul, Herbelin, Hugo, Nakata, Keiko, Saurin, Alexis
Contributors: Department of Computer and Information Science, University of Oregon Eugene, Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Design, study and implementation of languages for proofs and programs ( PI.R2 ), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institute of Cybernetics Tallinn, Tallinn Technical University, Équipe associée INRIA Sémacode, Tom Schrijvers and Peter Thiemann
Superior Title: FLOPS 2012 - 11th International Symposium on Functional and Logic Programming ; https://hal.inria.fr/hal-00697241 ; FLOPS 2012 - 11th International Symposium on Functional and Logic Programming, May 2012, Kobe, Japan. pp.32-46, ⟨10.1007/978-3-642-29822-6⟩
Subject Terms: call-by-need, lazy evaluation, duality of computation, sequent calculus, lambda-mu-calculus, classical logic, control, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.0: Control primitives, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: hal-00697241; https://hal.inria.fr/hal-00697241; https://hal.inria.fr/hal-00697241/document; https://hal.inria.fr/hal-00697241/file/classical-need-artifacts.pdf