- Higher-order value flow graphs Christian Mossin Thu 27 June 2013
- Deciding ML typability is complete for deterministic exponential time Harry G. Mairson Thu 27 June 2013
- Exact flow analysis Christian Mossin Thu 27 June 2013
- On the Transformation between Direct and Continuation Semantics Olivier Danvy John Hatcliff Wed 26 June 2013
- The duality of computation under focus Pierre-Louis Curien Guillaume Munch-Maccagnoni Wed 26 June 2013
- The duality of computation Pierre-Louis Curien Hugo Herbelin Wed 26 June 2013
- CPS-transformation after strictness analysis Olivier Danvy John Hatcliff Wed 26 June 2013
- A Taxonomy of Functional Language Implementations Part I : Call by Value Rémi Douence Pascal Fradet Wed 26 June 2013
- A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction Rémi Douence Pascal Fradet Wed 26 June 2013
- A systematic study of functional language implementations Rémi Douence Pascal Fradet Wed 26 June 2013
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem N.G de Bruijn Wed 26 June 2013
- An abstract framework for environment machines P.-L. Curien Wed 26 June 2013
- A categorical understanding of environment machines Andrea Asperti Wed 26 June 2013
- Lectures on the modal mu-calculus Yde Venema Wed 26 June 2013
- Infinite-state games with finitary conditions Krishnendu Chatterjee Nathanael Fijalkow Wed 26 June 2013
- Reversible, Irreversible and Optimal ^I-machines: Extended abstract Vincent Danos Laurent Regnier Wed 26 June 2013
- Game semantics and abstract machines V. Danos H. Herbelin L. Regnier Wed 26 June 2013
- Abstract machines for game semantics, revisited Olle Fredriksson Dan R. Ghica Wed 26 June 2013
- The Complexity of Flow Analysis in Higher-Order Languages David Van Horn Tue 25 June 2013
- call-by-name, call-by-value and abstract machines Remy Viehoff Mon 24 June 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
