|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
20
|
Algebra of logic programming
– Silvija Seres
- 1999
|
|
2
|
Graphical application and visualization of lazy functional computation
– Sandra Periam Foubister
- 1995
|
|
37
|
Querying Nested Collections
– Limsoon Wong
- 1994
|
|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
43
|
Parallel Programming using Functional Languages
– Paul Roe
- 1991
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
4
|
Inductive Datatypes with Laws and Subtyping – A Relational Model
– Theodorus Sebastiaan Voermans
|
|
|
Introduction to Functional Programming using Gofer
– E. P. Wentworth
- 1990
|
|
|
OzFun: A Functional Language for Mixed Eager and Lazy Programming
– Kai Ibach
|
|
|
Generic Accumulations for Program Calculation
– Mauro Jaskelioff
- 2004
|
|
75
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
1
|
Categorical and Graphical Models of Programming Languages
– Ralf Schweimeier, Ralf Schweimeier
- 2001
|
|
272
|
Computational Interpretations of Linear Logic
– Samson Abramsky
- 1993
|
|
17
|
Deforestation for Higher-Order Functional Programs
– Simon David Marlow
- 1995
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
1
|
Parallel Haskell: The vectorisation monad
– Keith Clarke, Jonathan M. D. Hill
- 1993
|
|
17
|
A Cost Analysis for a Higher-order Parallel Programming Model
– Roopa Rangaswami, Sister Kripa
- 1996
|
