Computing Publications

Publications Home » Authors » Mr Matthew Sackman

Authors

Mr Matthew Sackman

5 publications for this author.

Conference and Workshop Papers

Safely Speaking in Tongues: Statically Checking Domain Specific Languages in Haskell [PDF]
Matthew Sackman, Susan Eisenbach
LDTA'09
March, 2009
Softly safely spoken: Role playing for Session Types [PDF]
Elena Giachino, Matthew Sackman, Sophia Drossopoulou, Susan Eisenbach
Places'09
March, 2009
On the Execution of Ambients [PDF]
Matthew Sackman, Susan Eisenbach
MTCoord 2007
June, 2007

Technical Reports

Errors for the Common Man: Hiding the unintelligable in Haskell [PDF]
Matthew Sackman, Susan Eisenbach
September, 2008
Session Types in Haskell: Updating Message Passing for the 21st Century [PDF]
Matthew Sackman, Susan Eisenbach
July, 2008

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.