- Quantitative program reasoning with graded modal types Dominic Orchard Vilem-Benjamin Liepelt Harley Eades III Fri 02 March 2012
- Typechecking for XML transformers Tova Milo Dan Suciu Victor Vianu Fri 02 March 2012
- Fixed-point query languages for linear constraint databases Stephan Kreutzer Fri 02 March 2012
- Isomorphism testing for embeddable graphs through definability Martin Grohe Fri 02 March 2012
- Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus Andreas Abel Christian Sattler Fri 02 March 2012
- Semi-algebraic proofs, IPS lower bounds, and the tau-conjecture: can a natural number be negative Yaroslav Alekseev Dima Grigoriev Edward A. Hirsch Iddo Tzameret Fri 02 March 2012
- A language feature to unbundle data at will (short paper) Musa Al-hassy Jacques Carette Wolfram Kahl Fri 02 March 2012
- Value-centric dynamic partial order reduction Krishnendu Chatterjee Andreas Pavlogiannis Viktor Toman Fri 02 March 2012
- Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models Azalea Raad John Wickerson Viktor Vafeiadis Fri 02 March 2012
- Utilizing dependencies to obtain subsets of reachable sets Niklas Kochdumper Bastian Schürmann Matthias Althoff Fri 02 March 2012
- Abstract extensionality: on the properties of incomplete abstract interpretations Roberto Bruni Roberto Giacobazzi Roberta Gori Isabel Garcia-Contreras Dusko Pavlovic Fri 02 March 2012
- Deciding memory safety for single-pass heap-manipulating programs Umang Mathur Adithya Murali Paul Krogmeier P. Madhusudan Mahesh Viswanathan Fri 02 March 2012
- A simple differentiable programming language Martín Abadi Gordon Plotkin Fri 02 March 2012
- Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time Steffen Smolka Nate Foster Justin Hsu Tobias Kappé Dexter Kozen Alexandra Silva Fri 02 March 2012
- Provenance-guided synthesis of Datalog programs Mukund Raghothaman Jonathan Mendelson David Zhao Mayur Naik Bernhard Scholz Fri 02 March 2012
- Backpropagation in the simply typed lambda-calculus with linear negation Aloïs Brunel Damiano Mazza Michele Pagani Fri 02 March 2012
- Label-dependent session types Peter Thiemann Vasco T. Vasconcelos Fri 02 March 2012
- The expressibility of languages and relations by word equations Juhani Karhumäki Filippo Mignosi Wojciech Plandowski Fri 02 March 2012
- The lean mathematical library The mathlib Community Fri 02 March 2012
- Cubical synthetic homotopy theory Anders Mörtberg Loïc Pujet Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
