- Replacing function parameters by global variables Peter Sestoft Wed 10 July 2013
- A simple algorithm and proof for type inference Mitchell Wand Wed 10 July 2013
- Unification and ML Type Reconstruction Paris C. Kanellakis Harry G. Mairson John C. Mitchell Wed 10 July 2013
- Safety analysis versus type inference Jens Palsberg Michael I. Schwartzbach Wed 10 July 2013
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs A. Arnold M. Nivat Tue 09 July 2013
- The completeness theorem for typing ^I-terms Roger Hindley Tue 09 July 2013
- From Interpreter to Compiler and Virtual Machine: A Functional Derivation Mads Sig Ager Dariusz Biernacki Olivier Danvy Jan Midtgaard Tue 09 July 2013
- Sequent Calculus and Abstract Machines Aaron Bohannon Tue 09 July 2013
- The graphical Krivine machine Sylvain Lippi Tue 09 July 2013
- Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine Simon L. Peyton Jones Tue 09 July 2013
- The Theory and Practice of Transforming Call-by-need into Call-by-value Alan Mycroft Tue 09 July 2013
- Tree automata: an informal survey J. W. Thatcher Tue 09 July 2013
- The Calculi of Lambda-Conversion Alonzo Church Tue 09 July 2013
- Borel Determinacy of Concurrent Games Julian Gutierrez Glynn Winskel Tue 09 July 2013
- Forwards and Backwards Analysis for Functional Programs Andrei Sabelfeld Viktor Sabelfeld Tue 09 July 2013
- Set-based analysis of ML programs Nevin Heintze Tue 09 July 2013
- A unified treatment of flow analysis in higher-order languages Suresh Jagannathan Stephen Weeks Tue 09 July 2013
- A practical and flexible flow analysis for higher-order languages J. Michael Ashley R. Kent Dybvig Tue 09 July 2013
- Decidability of Weak Simulation on One-counter Nets Piotr Hofman Richard Mayr Patrick Totzke Tue 09 July 2013
- Forcing MSO on Infinite Words in Weak MSO Colin Riba Tue 09 July 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
