A type theory for memory allocation and data layout
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The logical approach to stack typing
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A First-Order One-Pass CPS Transformation
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
A first-order one-pass CPS transformation
Theoretical Computer Science
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Agents via Mixed-Mode Computation in Linear Logic
Annals of Mathematics and Artificial Intelligence
On equivalence and canonical forms in the LF type theory
ACM Transactions on Computational Logic (TOCL)
On the static and dynamic extents of delimited continuations
Science of Computer Programming
Journal of Functional Programming
Logical Semantics for the Rewriting Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A substructural type system for delimited continuations
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Higher-order representation of substructural logics
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Static typing for a substructural lambda calculus
Frontiers of Computer Science in China
Journal of Automated Reasoning
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Logical approximation for program analysis
Higher-Order and Symbolic Computation
LF in LF: mechanizing the metatheories of LF in twelf
Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
Hi-index | 0.00 |