- A livecoding semantics for functional reactive programming Tom E. Murphy Fri 02 March 2012
- Embedding session types in Haskell Sam Lindley J. Garrett Morris Fri 02 March 2012
- The missing link: explaining ELF static linking, semantically Stephen Kell Dominic P. Mulligan Peter Sewell Fri 02 March 2012
- Type soundness for dependent object types (DOT) Tiark Rompf Nada Amin Fri 02 March 2012
- Finding resume and restart errors in Android applications Zhiyong Shan Tanzirul Azim Iulian Neamtiu Fri 02 March 2012
- FIDEX: filtering spreadsheet data using examples Xinyu Wang Sumit Gulwani Rishabh Singh Fri 02 March 2012
- Transducers, logic and algebra for functions of finite words Emmanuel Filiot Pierre-Alain Reynier Fri 02 March 2012
- Concurrent separation logic Stephen Brookes Peter W. OtextquotesingleHearn Fri 02 March 2012
- Graph-theoretic methods in database theory Mihalis Yannakakis Fri 02 March 2012
- GraphLog Mariano P. Consens Alberto O. Mendelzon Fri 02 March 2012
- A graph-oriented object database model Marc Gyssens Jan Paredaens Dirk van Gucht Fri 02 March 2012
- Property specification patterns for finite-state verification Matthew B. Dwyer George S. Avrunin James C. Corbett Fri 02 March 2012
- Faster Polynomial Multiplication over Finite Fields David Harvey Joris Van Der Hoeven Grégoire Lecerf Fri 02 March 2012
- Type soundness proofs with definitional interpreters Nada Amin Tiark Rompf Fri 02 March 2012
- Type systems as macros Stephen Chang Alex Knauth Ben Greenman Fri 02 March 2012
- Certified Roundoff Error Bounds Using Semidefinite Programming Victor Magron George Constantinides Alastair Donaldson Fri 02 March 2012
- Topological Approach to Automatic Symbolic Macromodel Generation for Analog Integrated Circuits Guoyong Shi Hanbin Hu Shuwen Deng Fri 02 March 2012
- Do Enhanced Compiler Error Messages Help Students Raymond S. Pettit John Homer Roger Gee Fri 02 March 2012
- The HoTT library: a formalization of homotopy type theory in Coq Andrej Bauer Jason Gross Peter LeFanu Lumsdaine Michael Shulman Matthieu Sozeau Bas Spitters Fri 02 March 2012
- Formally verified differential dynamic logic Rose Bohrer Vincent Rahli Ivana Vukotic Marcus Völp André Platzer Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
