|
12
|
Arrows and computation
– Ross Paterson
- 2003
|
|
7
|
Semantics of value recursion for monadic input/output
– Levent Erkök, John Launchbury, Andrew Moran
- 2002
|
|
10
|
Value Recursion in Monadic Computations
– Levent Erkok
- 2002
|
|
5
|
Traced Premonoidal Categories
– Nick Benton, Martin Hyland
- 1999
|
|
1
|
Diagrammatic Representations in Domain-Specific Languages
– Konstantinos Tourlas
- 2000
|
|
9
|
Confessions of a used programming language salesman (getting the masses hooked on haskell
– Erik Meijer
- 2006
|
|
1
|
Categorical and Graphical Models of Programming Languages
– Ralf Schweimeier, Ralf Schweimeier
- 2001
|
|
17
|
From Action Calculi to Linear Logic
– Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin
- 1998
|
|
61
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
|
Domain-Specific Embedded Languages
– Kevin Backhouse
- 2002
|
|
10
|
Dynamic optimization for functional reactive programming using generalized algebraic data types
– Henrik Nilsson
- 2005
|
|
2
|
Formalising and Reasoning about Fudgets
– Colin J. Taylor
- 1998
|
|
17
|
An abstract monadic semantics for value recursion
– Eugenio Moggi, Amr Sabry
- 2003
|
|
41
|
Recursive Monadic Bindings
– Levent Erkok, John Launchbury
- 2000
|
|
42
|
Applicative programming with effects
– Conor Mcbride, Ross Paterson
|
|
3
|
Post-Design Domain-Specific Language Embedding: a Case Study
– Anthony M. Sloane
|
|
3
|
A Categorical Semantics of Higher Order Store
– J. Laird
- 2002
|
|
31
|
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
– Andrea Corradini, Fabio Gadducci
- 1999
|
|
7
|
Recursion is a Computational Effect
– Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry
- 2000
|
