Explicit polymorphism and CPS conversion
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A generic account of continuation-passing styles
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems
Journal of Logic, Language and Information
CPS Translations and Applications: The Cube and Beyond
Higher-Order and Symbolic Computation
Sharing Continuations: Proofnets for Languages with Explicit Control
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A First-Order One-Pass CPS Transformation
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
On the Computational Interpretation of Negation
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
A confluent λ-calculus with a catch/throw mechanism
Journal of Functional Programming
Journal of Functional Programming
A complexity analysis of functional interpretations
Theoretical Computer Science
On the static and dynamic extents of delimited continuations
Science of Computer Programming
Pedagogical second-order λ-calculus
Theoretical Computer Science
Practical Program Extraction from Classical Proofs
Electronic Notes in Theoretical Computer Science (ENTCS)
Negative translations and duality: toward a unified approach
Ludics, dialogue and interaction
Proof Pearl: a Formal Proof of Higman's Lemma in ACL2
Journal of Automated Reasoning
Certified higher-order recursive path ordering
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
| Hi-index | 0.00 |