- On Combining Probability and Nondeterminism M.W. Mislove Fri 02 March 2012
- Local Bigraphs and Confluence: Two Conjectures Robin Milner Fri 02 March 2012
- Web Interfaces for Proof Assistants Cezary Kaliszyk Fri 02 March 2012
- Scannerless Boolean Parsing Adam Megacz Fri 02 March 2012
- A Head-to-Head Comparison of de Bruijn Indices and Names Stefan Berghofer Christian Urban Fri 02 March 2012
- A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F Kevin Donnelly Hongwei Xi Fri 02 March 2012
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads Martin Hyland John Power Fri 02 March 2012
- Specify, Compile, Run: Hardware from PSL Roderick Bloem Stefan Galler Barbara Jobstmann Nir Piterman Amir Pnueli Martin Weiglhofer Fri 02 March 2012
- Plugging a Space Leak with an Arrow Hai Liu Paul Hudak Fri 02 March 2012
- Normalization for the Simply-Typed Lambda-Calculus in Twelf Andreas Abel Fri 02 March 2012
- An Experimental Ambiguity Detection Tool Sylvain Schmitz Fri 02 March 2012
- A Name Abstraction Functor for Named Sets Vincenzo Ciancia Ugo Montanari Fri 02 March 2012
- Inferring Static Non-monotone Size-aware Types Through Testing Ron van Kesteren Olha Shkaravska Marko van Eekelen Fri 02 March 2012
- Higher-Order Separation Logic in Isabelle/HOLCF Carsten Varming Lars Birkedal Fri 02 March 2012
- A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine Ian Mackie Shinya Sato Fri 02 March 2012
- A Multi-Core Solver for Parity Games Jaco van de Pol Michael Weber Fri 02 March 2012
- Semantic Domains for Combining Probability and Non-Determinism Regina Tix Klaus Keimel Gordon Plotkin Fri 02 March 2012
- Discount-Optimal Infinite Runs in Priced Timed Automata Uli Fahrenberg Kim G. Larsen Fri 02 March 2012
- Families of Symmetries as Efficient Models of Resource Binding Vincenzo Ciancia Alexander Kurz Ugo Montanari Fri 02 March 2012
- Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous Sam Lindley Philip Wadler Jeremy Yallop Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
