- Semantic and Syntactic Approaches to Simulation Relations Jo Hannay Shin-ya Katsumata Donald Sannella Wed 08 May 2013
- Type Preorders and Recursive Terms Fabio Alessi Mariangiola Dezani-Ciancaglini Tue 07 May 2013
- M. H. Newman's Typability Algorithm for Lambda-calculus J. Roger Hindley Thu 02 May 2013
- Functional Characterization of Some Semantic Equalities inside Lambda-Calculus Mario Coppo Mariangiola Dezani-Ciancaglini P. Salle Thu 02 May 2013
- Types with intersection: An introduction J.Roger Hindley Thu 02 May 2013
- Model-Checking Higher-Order Recursion Schemes Ligia Nicoleta Nistor Thu 02 May 2013
- PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE N/A Thu 02 May 2013
- ML typability is DEXPTIME-complete A.J. Kfoury J. Tiuryn P. Urzyczyn Thu 02 May 2013
- A simple proof of a theorem of Statman Harry G. Mairson Thu 02 May 2013
- Continuation semantics in typed lambda-calculi AlbertR. Meyer Mitchell Wand Thu 02 May 2013
- Lambda-dropping: transforming recursive equations into programs with block structure Olivier Danvy Ulrik P. Schultz Thu 02 May 2013
- Lambda lifting: Transforming programs to recursive equations Thomas Johnsson Thu 02 May 2013
- Representing Control: a Study of the CPS Transformation Oliver Danvy Andrzex Filinski Thu 02 May 2013
- Reasoning about Idealized ALGOL Using Regular Languages Dan R. Ghica Guy McCusker Wed 01 May 2013
- Third-order Idealized Algol with iteration is decidable Andrzej S. Murawski Igor Walukiewicz Wed 01 May 2013
- Idealized Algol with Ground Recursion, and DPDA Equivalence A.S. Murawski C.-H.L. Ong I. Walukiewicz Wed 01 May 2013
- Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming Martin Lester Luke Ong Max Schaefer Wed 01 May 2013
- A traversal-based algorithm for higher-order model checking Robin P. Neatherway Steven J. Ramsay Chih-Hao Luke Ong Wed 01 May 2013
- Hector: An Equivalence Checker for a Higher-Order Fragment of ML David Hopkins AndrzejS. Murawski C.-H.Luke Ong Wed 01 May 2013
- New Developments in Environment Machines Maribel Fernandez Nikolaos Siafakas Mon 29 April 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
