Explicit Substitutions and Programming Languages
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Lambda terms for natural deduction, sequent calculus and cut elimination
Journal of Functional Programming
A calculus with polymorphic and polyvariant flow types
Journal of Functional Programming
Pattern matching as cut elimination
Theoretical Computer Science
A ρ-calculus of explicit constraint application
Higher-Order and Symbolic Computation
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
Hi-index | 0.00 |