- Intersection Types and Counting Paweł Parys Fri 11 January 2019
- Dependently Typed Programming in Agda Ulf Norell Mon 31 December 2018
- Dependent Types at Work Ana Bove Peter Dybjer Mon 31 December 2018
- On Verifying TSO Robustness for Event-Driven Asynchronous Programs Ahmed Bouajjani Constantin Enea Madhavan Mukund Rajarshi Roy Sat 22 December 2018
- Statistics for Applications Dmitry Panchenko Sat 22 December 2018
- Cyprus guide N/A Fri 21 December 2018
- Polish Dictionary - Polski Słownik N/A Fri 21 December 2018
- Collins Easy Learning Polish Audio Course Hania Forss Fri 21 December 2018
- Normalisation by Traversals C. -H. Luke Ong Fri 21 December 2018
- Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered Kazuyuki Asada Naoki Kobayashi Thu 20 December 2018
- Verification of Timed Asynchronous Programs Parosh Aziz Abdulla Mohamed Faouzi Atig Shankara Narayanan Krishna Shaan Vaidya Tue 11 December 2018
- Programming Language Foundations in Agda Philip Wadler Tue 04 December 2018
- A Type System Describing Unboundedness Pawel Parys Tue 04 December 2018
- Zoom Handy Recorder H1n Manual N/A Sun 25 November 2018
- Strobe2 Operation Manual N/A Sun 25 November 2018
- The Impatient May Use Limited Optimism to Minimize Regret M. Cadilhac G. A. Pérez M. van den Bogaard Sat 24 November 2018
- Querying Unranked Trees with Stepwise Tree Automata Julien Carme Joachim Niehren Marc Tommasi Sat 24 November 2018
- Weak Monadic Second-Order Logic on Infinitely Branching Trees Elisabeth Jacobi Fri 23 November 2018
- A Relational Model of Data for Large Shared Data Banks E. F. Codd Fri 23 November 2018
- An Experiment in Software Prototyping Productivity Paul Hudak Mark P. Jones Fri 23 November 2018
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
