|
4
|
A Parallel Functional Language Compiler for Message-Passing Multicomputers
– Sahalu B. Junaidu
- 1998
|
|
1
|
An Equational Theory for a Region Calculus
– Simon Helsen
- 2002
|
|
2
|
Bisimilarity for the region calculus
– Simon Helsen
|
|
3
|
Programmable Concurrency in a Pure and Lazy Language
– Peng Li, Steve Zdancewic, Rajeev Alur
- 2008
|
|
|
DETERMINISTIC-BY-DEFAULT PARALLEL PROGRAMMING BY
– Robert L. Bocchino
|
|
|
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
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
81
|
Forms/3: A First-Order Visual Language to Explore the Boundaries of the Spreadsheet Paradigm
– Margaret Burnett, John Atwood, Rebecca Walpole Djang, Herkimer Gottfried, James Reichwein, Sherry Yang
|
|
2
|
Monadic and Substructural Type Systems for Region-Based Memory Management
– Matthew Thomas Fluet
- 2007
|
|
1
|
A Theory of Core Fudgets
– Colin J. Taylor
- 1998
|
|
13
|
Implicitlythreaded parallelism in Manticore
– Matthew Fluet, Mike Rainey, Adam Shaw
- 2008
|
|
26
|
Experience with safe manual memory-management in cyclone
– Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
- 2004
|
|
6
|
Safe Manual Memory Management in Cyclone
– Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
|
|
14
|
Safe and flexible memory management in Cyclone
– Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
- 2003
|
|
26
|
Gadgets: Lazy Functional Components for Graphical User Interfaces
– Rob Noble, Colin Runciman
- 1995
|
|
|
1st Year Transfer Dissertation
– Joel Wright
- 2003
|
|
7
|
FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO
– Manfred Schmidt-Schauß
- 2003
|
|
|
A Modal Language for Effects
– Sungwoo Park, Robert Harper
- 2004
|
|
1
|
A Programming Language for Probabilistic Computation
– Sungwoo Park, Geoffrey Gordon, Robert Harper
- 2005
|
