|
7
|
Deterministic Concurrency
– David Paul Carter
- 1993
|
|
|
A Monad of Imperative Streams
– Enno Scholz
- 1996
|
|
31
|
Concurrent ML: Design, Application and Semantics
– John H. Reppy
- 1993
|
|
34
|
A principled approach to operating system construction in Haskell
– Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach
- 2005
|
|
108
|
Building Domain-Specific Embedded Languages
– Paul Hudak
- 1996
|
|
95
|
Modular Domain Specific Languages and Tools
– Paul Hudak
- 1998
|
|
4
|
THE Kleisli/CPL EXTENSIBLE QUERY OPTIMIZER - Programmer Guide
– Limsoon Wong
- 1996
|
|
69
|
A Data Transformation System for Biological Data Sources
– P. Buneman, S. B. Davidson, K. Hart, C. Overton, L. Wong
- 1995
|
|
2
|
Formalising and Reasoning about Fudgets
– Colin J. Taylor
- 1998
|
|
1
|
Scheduling light-weight parallelism in ArTCoP
– J. Berthold, A. Al Zain, H-w. Loidl
|
|
11
|
Single Assignment C - Entwurf und Implementierung einer C-Variante mit spezieller Unterstützung shape-invarianter Array-Operationen
– Sven-Bodo Scholz
- 1996
|
|
3
|
Classes and Objects as Basis for I/O in SAC
– Clemens Grelck, Sven-Bodo Scholz
- 1998
|
|
2
|
Graphical application and visualization of lazy functional computation
– Sandra Periam Foubister
- 1995
|
|
9
|
An Operational Semantics for I/O in a Lazy Functional Language
– Andrew D. Gordon
- 1993
|
|
|
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
|
|
37
|
Assignments for applicative languages
– Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North
- 1991
|
|
|
Abstract DRAFT
– unknown authors
|
|
|
Presheaf models for the π-calculus
– Ian Stark
- 1997
|
|
|
Modular Monadic Semantics
– Sheng Liang, Paul Hudak
|
