- Explicit substitutions M. Abadi L. Cardelli P.-L. Curien J.-J. Lévy Fri 02 March 2012
- Sparse matrix representations in a functional language P. W. Grant J. A. Sharp M. F. Webster X. Zhang Fri 02 March 2012
- A predicative analysis of structural recursion ANDREAS ABEL THORSTEN ALTENKIRCH Fri 02 March 2012
- A calculus with polymorphic and polyvariant flow types J. B. WELLS ALLYN DIMOCK ROBERT MULLER FRANKLYN TURBAK Fri 02 March 2012
- CPS transformation of flow information, Part II: administrative reductions DANIEL DAMIAN OLIVIER DANVY Fri 02 March 2012
- Translation of tree-processing programs into stream-processing programs based on ordered linear type KOICHI KODAMA KOHEI SUENAGA NAOKI KOBAYASHI Fri 02 March 2012
- Data types à la carte WOUTER SWIERSTRA Fri 02 March 2012
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages JACQUES CARETTE OLEG KISELYOV CHUNG-CHIEH SHAN Fri 02 March 2012
- Parameterised notions of computation ROBERT ATKEY Fri 02 March 2012
- An insidertextquotesingles look at LF type reconstruction: everything you (n)ever wanted to know BRIGITTE PIENTKA Fri 02 March 2012
- How to make ad hoc proof automation less ad hoc GEORGES GONTHIER BETA ZILIANI ALEKSANDAR NANEVSKI DEREK DREYER Fri 02 March 2012
- Idris, a general-purpose dependently typed programming language: Design and implementation EDWIN BRADY Fri 02 March 2012
- Propositions as sessions PHILIP WADLER Fri 02 March 2012
- Indexed containers THORSTEN ALTENKIRCH NEIL GHANI PETER HANCOCK CONOR MCBRIDE PETER MORRIS Fri 02 March 2012
- Mtac: A monad for typed tactic programming in Coq BETA ZILIANI DEREK DREYER NEELAKANTAN R. KRISHNASWAMI ALEKSANDAR NANEVSKI VIKTOR VAFEIADIS Fri 02 March 2012
- Generating constrained random data with uniform distribution KOEN CLAESSEN JONAS DUREGAARD MICHAŁ H. PAŁKA Fri 02 March 2012
- Calculating correct compilers PATRICK BAHR GRAHAM HUTTON Fri 02 March 2012
- The essence of ornaments PIERRE-EVARISTE DAGAND Fri 02 March 2012
- Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory JESPER COCKX DOMINIQUE DEVRIESE Fri 02 March 2012
- Perturbation confusion in forward automatic differentiation of higher-order functions OLEKSANDR MANZYUK BARAK A. PEARLMUTTER ALEXEY ANDREYEVICH RADUL DAVID R. RUSH JEFFREY MARK SISKIND Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
