BibSonomy :: author  ::

bookmarks

publications

(20)

• Programming with Effects in Coq.
  Greg Morrisett MPC 28 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Sensor network programming with Flask.
  Geoffrey Mainland and J. Greg Morrisett and Matt Welsh and Ryan Newton SenSys 385-386 (2007)
  to dblp by dblp on 2008-06-04 00:00:00
  | URL | BibTeX  
• 08061 Abstracts Collection -- Types, Logics and Semantics for State.
  Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett Types, Logics and Semantics for State (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• 08061 Executive Summary -- Types, Logics and Semantics for State.
  Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett Types, Logics and Semantics for State (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• A Unified Framework for Verification Techniques for Object Invariants.
  Sophia Drossopoulou and Adrian Francalanza and Peter Müller and Alexander J. Summers Types, Logics and Semantics for State (2008)
  to dblp by dblp and 1 other person on 2008-05-16 00:00:00
  | URL | BibTeX  
• Types, Logics and Semantics for State, 03.02. - 08.02.2008
  Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett (eds.). Types, Logics and Semantics for State (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• A Realizability Model for Impredicative Hoare Type Theory.
  Rasmus Lerchedahl Petersen and Lars Birkedal and Aleksandar Nanevski and Greg Morrisett ESOP 337-352 (2008)
  to dblp by dblp on 2008-04-16 00:00:00
  | URL | BibTeX  
• Certified In-lined Reference Monitoring on .NET.
  Kevin W. Hamlen and Greg Morrisett and Fred B. Schneider PLAS 7-16 (2006)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• L3: A Linear Language with Locations.
  Amal Ahmed and Matthew Fluet and Greg Morrisett Fundam. Inform. 77 397-449 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Ilea: inter-language analysis across java and c.
  Gang Tan and Greg Morrisett OOPSLA 39-56 (2007)
  to dblp by dblp on 2007-10-23 00:00:00
  | URL | BibTeX