- From Two-Way to One-Way Finite State Transducers Emmanuel Filiot Olivier Gauwin Pierre-Alain Reynier Frédéric Servais Tue 09 July 2013
- Models of LCF Robin Milner Tue 09 July 2013
- The next 700 programming languages P. J. Landin Tue 09 July 2013
- The Principal Type-Scheme of an Object in Combinatory Logic R. Hindley Tue 09 July 2013
- Fundamental Concepts in Programming Languages Christopher Strachey Tue 09 July 2013
- Lax Logical Relations Gordon D. Plotkin John Power Donald Sannella Robert D. Tennent Tue 09 July 2013
- A Machine-Oriented Logic Based on the Resolution Principle J. A. Robinson Tue 09 July 2013
- Methods and applications of (max,+) linear algebra Stéphane Gaubert Max Plus Tue 09 July 2013
- Definable Operation in General Algebras, and the Theory of Automata and Flowcharts Hans Bekic Mon 08 July 2013
- De la sémantique des processus d'ordre supérieur Francesco Zappa-Nardelli Mon 08 July 2013
- A call-by-need lambda calculus Zena M. Ariola John Maraist Martin Odersky Matthias Felleisen Philip Wadler Thu 04 July 2013
- Continuation-passing style and strong normalisation for intuitionistic sequent calculi José Espírito Santo Ralph Matthes Luís Pinto Thu 04 July 2013
- Semantics of Linear Continuation-Passing in Call-by-Name Masahito Hasegawa Thu 04 July 2013
- A type system equivalent to flow analysis Jens Palsberg Patrick O'Keefe Thu 04 July 2013
- Closure analysis in constraint form Jens Palsberg Thu 04 July 2013
- Programming with intersection types, union types, and polymorphism Benjamin Pierce Thu 04 July 2013
- Intersection and union types: syntax and semantics Franco Barbanera Mariangiola Dezani-Ciancaglini Ugo De'Liguoro Thu 04 July 2013
- From polyvariant flow information to intersection and union types Jens Palsberg Christina Pavlopoulou Thu 04 July 2013
- Polymorphic Type Schemes and Recursive Definitions Alan Mycroft Thu 04 July 2013
- Type inference with polymorphic recursion Fritz Henglein Thu 04 July 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
