- CS256: Programming Languages and Semantics Parametric Polymorphism
- Ynot : Reasoning with the Awkward Squad Aleksandar Nanevski
- Mechanized Verification with Sharing Gregory Malecha Greg Morrisett
- Toward a Verified Relational Database Management System Gregory Malecha Greg Morrisett Avraham Shinnar Ryan Wisnesky
- The Regiment Macroprogramming System Ryan Newton
- Flask: A Language for Data-driven Sensor Network Geoffrey Mainland, Matt Welsh, and Greg Morrisett
- Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Greg Morrisett
- Cyclone: A Type-Safe Dialect of C Dan Grossman Michael Hicks Trevor Jim Greg Morrisett
- Compiling for Runtime Code Generation Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof, and Trevor Jim
- Alias Types Frederick Smith David Walker Greg Morrisett
- Typed Memory Management in a Calculus of Capabilities Carnegie Mellon University
- Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett
- Stack-Based Typed Assembly Language Greg Morrisett Karl Crary Neal Glew David Walker
- A Language-Based Approach to Protocol Construction Anindya Basu Mark Hayden Greg Morrisett Thorsten von Eicken
- CS256: Programming Languages and Semantics Introduction to Axiomatic Semantics
- CS256: Programming Languages and Semantics Simply-Typed Lambda Calculus
- CS256: Programming Languages and Semantics Reduction, Logical Relations and Strong Normalization
- CS256: Programming Languages and Semantics Introduction to Denotational Semantics
- Type Checking Systems Code Greg Morrisett
- Refining FirstClass Stores J. Gregory. Morrisett
- c ACM, (2010). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the third ACM SIGPLAN symposium on Haskell (2010).
- Optimistic Parallelization Greg Morrisett 1 Maurice Herlihy 2
- Typed Closure Conversion for RecursivelyDefined Functions
- CS256: Programming Languages and Semantics Weakest Pre-Conditions
- A Linearly Typed Assembly Language James Cheney Greg Morrisett
- ILEA: Inter-Language Analysis across Java and C Boston College
- Scalable Certification for Typed Assembly Language
- Certified Web Services in Ynot Ryan Wisnesky, Gregory Malecha, and Greg Morrisett
- Robusta: Taming the Native Beast of the JVM Joseph Siefers
- Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Greg Morrisett
- CS256: Programming Languages and Semantics http://www.eecs.harvard.edu/~ greg/cs256sp2006/
- Typed Closure Conversion \Lambda Yasuhiko Minamide y
- Principals in Programming Languages: A Syntactic Proof Technique Steve Zdancewic Dan Grossman Greg Morrisett
- Flask: Staged Functional Programming for Sensor Networks Geoffrey Mainland Greg Morrisett Matt Welsh
- Towards Type-theoretic Semantics for Transactional Concurrency
- Alias Types for Recursive Data Structures David Walker and Greg Morrisett
- TIL: A TypeDirected Optimizing Compiler for ML D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee
- Adding Threads to Standard ML Eric C. Cooper J. Gregory Morrisett
- Comparing Mostly-Copying and Mark-Sweep Conservative Collection Frederick Smith y
- CS256: Programming Languages and Semantics Denotational Semantics and Equational Theory for STLC
- Dependent Type Theory of Stateful Higher-Order Functions
- From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER
- Experience With Safe Manual Memory-Management in Cyclone Michael Hicks Greg Morrisett Dan Grossman Trevor Jim
- Combining Control-Flow Integrity and Static Analysis for Efficient and Validated Data Sandboxing
- Greg Morrisett Understand how to build models of dynamic
