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
118 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
25 Design Theory – Susan H. Rodger, Jinghui Lim - 1997
A formal semantics of patterns in XSLT – Philip Wadler Bell - 1999
1 AML: Attribute Grammars in ML – Sofoklis G. Efremidis, Khalid A. Mughal, John H. Reppy - 1997
3 Extending the relational algebra with the Mapper operator – Paulo Carreira, Antónia Lopes, Helena Galhardas, João Pereira - 2005
Point-and-Click Logic – Matti Nykänen - 2005
CONTENTS 1 Swinging Types At Work – Peter Padawitz