.:. Consultation > Par auteur > Ariola .:.

5 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Classical call-by-need sequent calculi : The unity of semantic artifacts Ariola Z., Downen P., Herbelin H., Nakata K., Saurin A. Dans FLOPS 2012 - 11th International Symposium on Functional and Logic Programming 7294 (2012) 32-46 [hal-00697241 - version 1]

Classical Call-by-need and duality Ariola Z., Herbelin H., Saurin A. Dans TLCA 2011 - Typed Lambda Calculi and Applications 6690 (2011) 27-44 [inria-00630156 - version 1]

A Proof-Theoretic Foundation of Abortive Continuations Ariola Z., Herbelin H., Sabry A. Higher-Order and Symbolic Computation 20, 4 (2007) [hal-00697242 - version 1]

A Type-Theoretic Foundation of Delimited Continuations Ariola Z., Herbelin H., Sabry A. Higher-Order and Symbolic Computation (2007) [inria-00177326 - version 1]

Control Reduction Theories: the Benefit of Structural Substitution Ariola Z., Herbelin H. Journal of Functional Programming (2007) [inria-00177320 - version 1]