- YAHT - Yet Another Haskell Tutorial Hal Daumé III Fri 23 November 2018
- Haskell 98 Language and Libraries -The Revised Report Simon Peyton Jones Fri 23 November 2018
- Functional programming languages for verification tools: a comparison of Standard ML and Haskell Martin Leucker Thomas Noll Perdita Stevens Michael Weber Fri 23 November 2018
- A Gentle Introduction to Haskell 98 Paul Hudak John Peterson Joseph H. Fasel Fri 23 November 2018
- The Little Haskeller Cordelia Hall John Hughes Fri 23 November 2018
- FP + OOP = Haskell Emery Berger Fri 23 November 2018
- Decidability and Undecidability of the Halting Problem on Turing Machines, a Survey Maurice Margenstern Fri 23 November 2018
- A Structural Theory of Rhythm Notation Based on Tree Representations and Term Rewriting Florent Jacquemard Pierre Donat-Bouillud Jean Bresson Fri 23 November 2018
- SMTLIBTutorial David R. Cok Fri 23 November 2018
- Algebraic Generating Functions in Enumerative Combinatorics and Context-Free Languages Mireille Bousquet-Mélou Fri 23 November 2018
- Universal Safety for Timed Petri Nets is PSPACE-complete P. Aziz Abdulla M. Faouzi Atig R. Ciobanu R. Mayr P. Totzke Fri 23 November 2018
- Synchronizing the Asynchronous Bernhard Kragl Shaz Qadeer Thomas A. Henzinger Fri 23 November 2018
- Quantifier Elimination and Applications David Marker Fri 23 November 2018
- The Fundamental Theorem of Algebra made effective: an elementary real-algebraic proof via Sturm chains M. Eisermann Fri 23 November 2018
- Computational Complexity in Polynomial Algebra D. Yu. Grigor'ev Fri 23 November 2018
- EFFECTIVE QUANTIFIER ELIMINATION OVER REAL CLOSED FIELDS N. Vorobjov Fri 23 November 2018
- SIGLOG news N/A Fri 23 November 2018
- The Riemann Hypothesis Michael Atiyah Fri 23 November 2018
- Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata Vojtěch Forejt Petr Jančar Stefan Kiefer James Worrell Tue 20 November 2018
- The Complexity of Bisimulation and Simulation on Finite Systems Moses Ganardi Stefan Gøller Markus Lohrey Tue 20 November 2018
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
