32906 articles – 26196 Notices  [english version]
.:. Consultation > Par auteur > Ariola .:.
5 documents classés par :

fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access A Type-Theoretic Foundation of Delimited Continuations
Ariola Z., Herbelin H., Sabry A.
Higher-Order and Symbolic Computation (2007) [inria-00177326 - version 1]
fulltext access Control Reduction Theories: the Benefit of Structural Substitution
Ariola Z., Herbelin H.
Journal of Functional Programming (2007) [inria-00177320 - version 1]