POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Computing Surveys (CSUR)
An Operational Investigation of the CPS Hierarchy
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects
CL '00 Proceedings of the First International Conference on Computational Logic
Logic Programming Techniques for Dynamic VRML Web Content Generation
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
A type-theoretic foundation of continuations and prompts
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
A static simulation of dynamic delimited control
Higher-Order and Symbolic Computation
Parameterised notions of computation
Journal of Functional Programming
A type-theoretic foundation of delimited continuations
Higher-Order and Symbolic Computation
Continuation semantics for the Lambek--Grishin calculus
Information and Computation
Growing a language: the GLoo perspective
SC'08 Proceedings of the 7th international conference on Software composition
Parameterised notions of computation
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
The sequential semantics of producer effect systems
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parsing graphs: applying parser combinators to graph traversals
Proceedings of the 4th Workshop on Scala
Hoare-style reasoning with (algebraic) continuations
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |