Utah PLT Publications

Published Papers

APLAS 2006 Flatt, Finlder and Felleisen.
Scheme with Classes, Mixins, and Traits (invited tutorial)
PDF

ICFP 2006 Owens and Flatt.
From Structures and Functors to Modules and Units
PDF

OOPSLA 2005 Gray, Findler, and Flatt.
Fine-Grained Interoperability through Mirrors and Contracts
PDF

GPCE 2005 Culpepper, Owens, and Flatt.
Syntactic Abstraction in Component Interfaces
PDF

ISMM 2004 Wick and Flatt.
Memory Accounting without Partitions
PDF

OOPSLA 2004 Goldberg, Findler, and Flatt.
Super and Inner — Together at Last!
PDF model

Scheme 2004 Gray and Flatt.
Compiling Java to PLT Scheme
PDF

Scheme 2004 Owens, Flatt, Shivers, and McMullan.
Lexer and Parser Generators in Scheme
PDF

ICFP 2004 Findler and Flatt.
Slideshow: Functional Presentations
PDF software

PLDI 2004 Flatt and Findler.
Kill-Safe Synchronization Abstractions
PDF code

RTA 2004 Matthews, Findler, Flatt, and Felleisen.
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
PDF

ECOOP 2004 Findler, Flatt, and Felleisen.
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
PDF

Felleisen, Findler, Flatt, and Krishnamurthi.
( Dr Dobb's Journal, April 2004 )
Building Little Languages with Macros
www.ddj.org

Clements, Felleisen, Findler, Flatt, and Krishnamurthi.
( Dr Dobb's Journal, March 2004 )
Fostering Little Languages
www.ddj.org

OOPSLA Educators' Symposium 2003 Gray and Flatt.
ProfessorJ: A Gradual Intro to Java through Language Levels
PDF

UITP 2003 Owens and Slind.
Proving as Programming with DrHOL: A Preliminary Design
PDF

Scheme 2002 Wick, Flatt, and Hsieh.
Reachability-based Memory Accounting
PDF

ICFP 2002 Flatt.
Composable and Compilable Macros: You Want it When?
PDF

OOPSLA 2001 McDirmid, Flatt, Hsieh.
Jiazzi: New-Age Components for Old-Fashioned Java
PDF