|
1
|
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing
– Sebastian Shaumyan, Paul Hudak
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
1
|
Lazy Imperative Languages - Report on a Project to Examine the Use of Lazy Evaluation in Imperative Languages
– Randy Hertzman
- 1995
|
|
|
Multi-Traversal Tree Decoration in a Functional Setting: Monads Versus Bindings
– Maarten Pennings, Maarten Pennings, Maarten Pennings
- 1993
|
|
5
|
Formulating Haskell
– Simon Thompson
- 1993
|
|
56
|
Grammatical Framework: A Type-Theoretical Grammar Formalism
– Aarne Ranta
- 2003
|
|
4
|
The resource constrained shortest path problem implemented in a lazy functional language
– Pieter H. Hartel, Hugh Glaser
- 1994
|
|
1
|
Generation of and Debugging with Logical Pre and Post-Conditions
– Ángel Herranz-Nieva, Juan José Moreno-Navarro
- 2000
|
|
30
|
Haskore Music Notation - An Algebra of Music
– Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong
- 1995
|
|
7
|
A Model of Performance, Interaction, and Improvisation
– Paul Hudak, Jonathan Berger
- 1995
|
|
4
|
Monadic Corecursion - Definition, Fusion Laws, and Applications
– Alberto Pardo
- 1998
|
|
10
|
Universal regular path queries
– Oege De Moor, David Lacey, Eric Van Wyk
- 2003
|
|
7
|
An Evaluation of LOLITA and Related Natural Language Processing Systems
– Paul Callaghan, Paul Callaghan
- 1998
|
|
6
|
NATURAL EXPERT: A Commercial Functional Programming Environment
– N. W. O. Hutchison, U. Neuhaus, M. Schmidt-Schauss, C. V. Hall
- 1993
|
|
5
|
Machine-Assisted Theorem-Proving for Software Engineering
– Andrew Martin
- 1994
|
|
3
|
Using a Functional Language for Parsing and Semantic Processing
– Guy Lapalme, Fabrice Lavier, Hc J
- 1997
|
|
4
|
Monadic I/O in Haskell 1.3
– Andrew D. Gordon, Kevin Hammond
- 1995
|
|
|
Using A Functional Notation To Specify Abstract Simulation Models
– H. L. Muller, P. H. Hartel, L. O. Hertzberger
|
|
|
A Standard Library Proposal for Haskell 1.3 - Version 3
– Alastair Reid, John Peterson
- 1995
|
