CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Mathematical Structures in Computer Science
An approach to call-by-name delimited continuations
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The anatomy of innocence revisited
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 0.00 |