|
|
Mechanized Reasoning about Concurrent Functional Programs
– Sava Mintchev, London Wm Js
|
|
|
Concurrent Programming in Haskell
– Victor M. Gulias, Jose L. Freire
- 1996
|
|
5
|
Explicit Message Passing for Concurrent Clean
– Pascal R. Serrarens
- 1998
|
|
26
|
Gadgets: Lazy Functional Components for Graphical User Interfaces
– Rob Noble, Colin Runciman
- 1995
|
|
1
|
Modelling Deterministic Concurrent I/O
– Malcolm Dowse
|
|
13
|
Implicitlythreaded parallelism in Manticore
– Matthew Fluet, Mike Rainey, Adam Shaw
- 2008
|
|
|
A Flexible Semantic Framework for Effects
– Ross Tate, Daan Leijen, Sorin Lerner
|
|
|
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
|
|
|
General Terms Languages, theory
– unknown authors
|
|
|
Monads for Incremental Computing - Functional Pearl
– Magnus Carlsson
- 2002
|
|
10
|
Prolog's Control Constructs in a Functional . . .
– Ralf Hinze
|
|
|
unknown title
– unknown authors
- 1997
|
|
2
|
Effective Meta-programming in Declarative Languages
– Antony Francis Bowers
- 1998
|
|
11
|
The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell
– Einar W. Karlsen
- 1997
|
|
6
|
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: the Hume Approach
– Kevin Hammond
- 2005
|
|
84
|
Type Classes: An Exploration of the Design Space
– Simon Peyton Jones, Mark Jones, Erik Meijer
- 1997
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
|
Information flow controls
– Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières
|
|
4
|
S.: A monad for deterministic parallelism
– Simon Marlow, Ryan Newton, Simon Peyton Jones
- 2011
|
