![[PLT logo]](../logo.gif){kind=logo}
Utah PLT Publications
Utah PLT Publications
OOPSLA 2012
Strickland, Tobin-Hochstadt, Findler, and Flatt.
Chaperones and Impersonators: Run-time Support for Reasonable Interposition
PDF
model and sources
GPCE 2012
Rafkind and Flatt.
Honu: Syntactic Extension for Algebraic Notation through Enforestation
PDF
JFP 2012
Flatt, Culpepper, Darais, and Findler.
Macros that Work Together: Compile-Time Bindings, Partial Expansion, and Definition Contexts
Draft and Model
DLS 2011
Tew, Swaine, Flatt, Findler, and Dinda.
Places: Adding Message-Passing Parallelism to Racket
PDF
PLDI 2011
Tobin-Hochstadt, St-Amour, Culpepper, Flatt, and Felleisen.
Languages as Libraries
PDF
OOPSLA 2010
Swaine, Tew, Dinda, Findler, and Flatt.
Back to the Futures: Incremental Parallelization of Existing Sequential Runtime Systems
PDF
GPCE 2010
Atkinson, Flatt, and Lindstrom.
ABI Compatibility Through a Customizable Language
PDF
ICFP 2009
Flatt, Barzilay, and Findler.
Scribble: Closing the Book on Ad Hoc Documentation Tools
PDF
Scheme 2009
Flatt and Barzilay.
Keyword and Optional Arguments in PLT Scheme
PDF
ISMM 2009
Rafkind, Wick, Regehr, and Flatt.
Precise Garbage Collection for C
PDF
ICFP 2007
Flatt, Yu, Finlder and Felleisen.
Adding Delimited and Composable Control to a Production Programming Environment
PDF
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
See also addendum
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