- On coinductive equivalences for higher-order probabilistic functional programs Ugo Dal Lago Davide Sangiorgi Michele Alberti Fri 02 March 2012
- Fair reactive programming Andrew Cave Francisco Ferreira Prakash Panangaden Brigitte Pientka Fri 02 March 2012
- Combining proofs and programs in a dependently typed language Chris Casinghino Vilhelm Sjöberg Stephanie Weirich Fri 02 March 2012
-
Uncertain
: a first-order type for uncertain data James Bornholt Todd Mytkowicz Kathryn S. McKinley Fri 02 March 2012 - Input-output conformance testing based on featured transition systems Harsh Beohar Mohammad Reza Mousavi Fri 02 March 2012
- Constraint Satisfaction Problems Solvable by Local Consistency Methods Libor Barto Marcin Kozik Fri 02 March 2012
- Automated generation of model classes for Java PathFinder Matteo Ceccarello Oksana Tkachuk Fri 02 March 2012
- Kleene algebra with tests Dexter Kozen Fri 02 March 2012
- Energy and mean-payoff timed games Romain Brenguier Franck Cassez Jean-François Raskin Fri 02 March 2012
- Simulation-guided lyapunov analysis for hybrid dynamical systems James Kapinski Jyotirmoy V. Deshmukh Sriram Sankaranarayanan Nikos Arechiga Fri 02 March 2012
- CodeHint: dynamic and interactive synthesis of code snippets Joel Galenson Philip Reames Rastislav Bodik Björn Hartmann Koushik Sen Fri 02 March 2012
- Hasochism Sam Lindley Conor McBride Fri 02 March 2012
- CakeML Ramana Kumar Magnus O. Myreen Michael Norrish Scott Owens Fri 02 March 2012
- Modular, higher-order cardinality analysis in theory and practice Ilya Sergey Dimitrios Vytiniotis Simon Peyton Jones Fri 02 March 2012
- Incremental analysis of real programming languages Tim A. Wagner Susan L. Graham Fri 02 March 2012
- Linear-time subtransitive control flow analysis Nevin Heintze David McAllester Fri 02 March 2012
- Functional reactive animation Conal Elliott Paul Hudak Fri 02 March 2012
- Multi-stage programming with explicit annotations Walid Taha Tim Sheard Fri 02 March 2012
- Interconvertbility of set constraints and context-free language reachability David Melski Thomas Reps Fri 02 March 2012
- Faster all-pairs shortest paths via circuit complexity Ryan Williams Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
