- Forward Bisimulations for Nondeterministic Symbolic Finite Automata Loris D'Antoni Margus Veanes Thu 06 April 2017
- Minimization of Visibly Pushdown Automata Using Partial Max-SAT Matthias Heizmann Christian Schilling Daniel Tischner Thu 06 April 2017
- A Play on Regular Expressions: Functional Pearl Sebastian Fischer Frank Huch Thomas Wilke Tue 04 April 2017
- Enumerating the Strings of Regular Languages M. Douglas Mcilroy Tue 04 April 2017
- Applicative Programming with Effects Conor Mcbride Ross Paterson Tue 04 April 2017
- Practical Probabilistic Programming with Monads Adam Ścibior Zoubin Ghahramani Andrew D. Gordon Tue 04 April 2017
- FUNCTIONAL PEARLS: Probabilistic Functional Programming in Haskell Martin Erwig Steve Kollmansberger Tue 04 April 2017
- Probabilistic Grammars and their Applications S. Geman M. Johnson Tue 04 April 2017
- The Tale of the Quantifier Alternation Hierarchy of First-order Logic over Words Thomas Place Marc Zeitoun Tue 04 April 2017
- Monoids as Storage Mechanisms Georg Zetzsche Mon 03 April 2017
- The Complexity of Downward Closure Comparisons Georg Zetzsche Mon 03 April 2017
- It is undecidable if two regular tree languages can be separated by a deterministic tree-walking automaton Mikołaj Bojańczyk Mon 03 April 2017
- Deciding Piecewise Testable Separability for Regular Tree Languages Jean Goubault-Larrecq Sylvain Schmitz Mon 03 April 2017
- Propositions As Types Philip Wadler Mon 03 April 2017
- Parsec: Direct Style Monadic Parser Combinators for the Real World Daan Leijen Erik Meijer Sat 01 April 2017
- Monadic Parsing in Haskell Graham Hutton Erik Meijer Fri 31 March 2017
- Learning Nominal Automata Joshua Moerman Matteo Sammartino Alexandra Silva Bartek Klin Michał Szynwelski Fri 31 March 2017
- Linear Quantifier Elimination Tobias Nipkow Fri 31 March 2017
- SMT Solving for Functional Programming over Infinite Structures Bartek Klin Michał Szynwelski Fri 31 March 2017
- Structuring quantum effects: superoperators as arrows J. K. Vizzotto T. Altenkirch A. Sabry Thu 30 March 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
