A Collection of Functional Libraries for Theory of Computation (2001)

Cached

Download Links

by Guo-qiang Zhang , Leon Smith
Venue:PROCEEDINGS OF THE 39TH ACM-SE CONFERENCE

Active Bibliography

Adaptation in HOT Languages Comparing Polymorphism, Modules, and Objects – David Macqueen Bell - 2000
69 Types for Modules – Claudio V. Russo - 1998
1 Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell – Cristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão - 2003
SEA: a Symbolic Environment for Automata theory – Philippe Andary, Pascal Caron, Gérard Duchamp, Marianne Flouret, Éric Laugerotte
FAdo: tools for finite automata and regular expressions manipulation – Rogerio Reis, Rogrio Reis, Nelma Moreira, Nelma Moreira - 2002
7 Subset construction complexity for homogeneous automata, position automata and ZPC-structures – J. -m. Champarnaud - 2001
4 State complexity of union and intersection of finite languages – Yo-sub Han, Kai Salomaa - 2007
10 Interactive manipulation of regular objects with FAdo – Nelma Moreira - 2005
SCHOOL OF COMPUTING SCIENCES 31455 Software Development Case Study – Subject Outline Subject, Semester Hours Lectures, Corequisites None
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
6 Unchecked Exceptions can be Strictly More Powerful than Call/CC – Mark Lillibridge, Olivier Danvy - 1996
119 DTD Inference for Views of XML Data – Yannis Papakonstantinou, Victor Vianu - 1999
Increasing the use of JFLAP in Courses – S. H. Rodger, H. Qin, J. Su
4 Increasing Engagement in Automata Theory With JFLAP – Susan H. Rodger, Eric Wiebe, Kyung Min Lee, Chris Morgan, Kareem Omar, Jonathan Su - 2009
24 Design Theory – Susan H. Rodger, Jinghui Lim - 1997
A formal semantics of patterns in XSLT – Philip Wadler Bell - 1999
XSSR: an experimental system for string-rewriting - decision problems, algorithms, and implementation – D. Hofbauer, C. Kögl, K. Madlener, F. Otto, B. Reinert - 1999
3 Extended Context-Free Grammars and Normal Form Algorithms – Jürgen Albert, Dora Giammarresi, Derick Wood - 1998
1 Transition Diagram Systems and Normal Form Algorithms – Dora Giammarresi, Derick Wood - 1998
1 AML: Attribute Grammars in ML – Sofoklis G. Efremidis, Khalid A. Mughal, John H. Reppy - 1997