PLT logo NU
Home of NU PLT

PLT (Northeastern): Publications

PLT (Northeastern): Publications

This archive collects NU PLT's and Rice's PLT Papers, Technical Reports Dissertations

© The documents contained in this archive are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are retained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. All persons copying this information are expected to adhere to the terms and constraints invoked by each paper's copyright. Unless explicitly noted to the contrary, these works may not be reposted without the explicit permission of the copyright holder.

This page also hosts Eugene Kohlbecker's 1986 dissertation in order to give credit where credit is due:
Indiana University: Eugene Kohlbecker
Syntactic Extensions in the Programming Language Lisp
pdf
dissertation-kohlbecker


Conference and Journal Papers


ESOP 2014 : Garnock-Jones, Tobin-Hochstadt, Felleisen
The Network as a Language Construct
pdf   
supplemental materials
esop14-gjthf
POPL 2014 : Chang, Felleisen
Profiling for Laziness
pdf   
popl14-cf
Strickland, Dimoulas, Takikawa, Felleisen
(Transactions on Programming Languages and Systems)
Contracts for First-Class Classes
pdf   
toplas13-sdtf
OOPSLA 2013 : Dimoulas, Findler, Felleisen
Option Contracts
pdf   
oopsla13-dff
ICFP 2013 : St-Amour, Toronto
Applying Random Testing to a Base Type Environment
pdf   
icfp13-st
ESOP 2013 : Takikawa, Strickland, Tobin-Hochstadt
Constraining Delimited Control with Contracts
pdf   
esop13-tsth
ESOP 2013 : Chang
Laziness by Need
pdf   
esop13-c
OOPSLA 2012 : Tobin-Hochstadt, Van Horn
Higher-Order Symbolic Execution via Contracts
pdf   
oopsla12-thvh
OOPSLA 2012 : Strickland, Tobin-Hochstadt, Findler, Flatt
Chaperones and Impersonators: Run-time Support for Reasonable Interposition
pdf   
oopsla12-sthff
OOPSLA 2012 : Takikawa, Strickland, Dimoulas, Tobin-Hochstadt, Felleisen
Gradual Typing for First-Class Classes
pdf   
oopsla12-tsdthf
OOPSLA 2012 : St-Amour, Tobin-Hochstadt, Felleisen
Optimization Coaching
pdf   
oopsla12-stf
FHPC 2012 : Swaine, Fetscher, St-Amour, Findler, Flatt
Seeing the Futures: Profiling Shared-Memory Parallel Racket

pdf
fhpc2012-sfsff
ESOP 2012 : Chang and Felleisen
The Call-by-need Lambda Calculus, Revisited
pdf   
esop12-cf
ESOP 2012 : Dimoulas, Tobin-Hochstadt, and Felleisen
Complete Monitors for Behavioral Contracts
pdf   
esop12-dthf
IFL 2011 (appears in 2012) : Chang, Barzilay, Clements, Felleisen
From Stack Traces to Lazy Rewriting Sequences
pdf   
ifl11-cbcf
Dimoulas, Felleisen
(Transactions on Programming Languages and Systems)
On Contract Satisfaction in a Higher-Order World
pdf   
toplas11-df
POPL 2012 : Klein, Clements, Dimoulas, Eastlund, Felleisen, Flatt, McCarthy, Rafkind, Tobin-Hochstadt, Findler
Run Your Research

pdf   also visit the senior author's publication site for the Redex models
popl12-kfff
PADL 2012 : St-Amour, Tobin-Hochstadt, Flatt, and Felleisen
Typing the Numeric Tower
pdf   
padl12-stff
PLDI 2011 : Tobin-Hochstadt, St-Amour, Culpepper, Flatt, Felleisen
Languages as Libraries
pdf   
pldi11-thacff
POPL 2011 : Dimoulas, Findler, Flanagan, Felleisen
Correct Blame for Contracts: No More Scapegoating
pdf   
popl11-dfff
TFP 2010 : Eastlund, Felleisen
Hygienic Macros for ACL2
pdf   
tfp10-ef
DLS 2010 : Strickland, Felleisen
Contracts for First-Class Classes
pdf   
dls10-sf
ICFP 2010 : Culpepper, Felleisen
Fortifying Macros
pdf   
icfp10-cf
ICFP 2010 : Tobin-Hochstadt, Felleisen
Logical Types for Untyped Languages
pdf   
icfp10-thf
ICFP 2010 : Felleisen
TeachScheme!---A Checkpoint (Abstract)
pdf   
icfp10-f
Scheme and Functional Programming 2010 : Prashanth, Tobin-Hochstadt
Functional Data Structures for Typed Racket
pdf   
sfp10-kth
TLDI 2010 : Felleisen
Adding Types to Untyped Languages (Abstract)
pdf   
tldi10-f
IFL 2009 (appears in 2010) : Strickland, Felleisen
Nested and Dynamic Contract Boundaries
pdf   
ifl09-sf
DLS 2009 : Strickland, Felleisen
Contracts for First-Class Modules
pdf   
dls09-sf
Scheme 2009 : Eastlund, Felleisen
Sequence Traces for Object-Oriented Executions
pdf   
scheme2009-ef
Scheme 2009 : Barzilay
The Scribble Reader
pdf   
scheme2009-b
Scheme 2009 : Flatt, Barzilay
Keyword and Optional Arguments in PLT Scheme
pdf   
scheme2009-fb
STOP 2009 : Tobin-Hochstadt, Findler
Cycles Without Pollution: A Gradual Typing Poem
pdf   
stop09-ft
PPDP 2009 : Eastlund, Felleisen
Making Induction Manifest in Modular ACL2
pdf   
ppdp09-ef
PPDP 2009 : Dimoulas, Pucella, Felleisen
Future Contracts
pdf   
ppdp09-dpf
Culpepper, Felleisen
(Science of Computer Programming)
Debugging Hygienic Macros
pdf   
cf-sp09
ICFP 2009 : Flatt, Barzilay, Findler
Scribble: Closing the Book on Ad Hoc Documentation Tools
pdf   
icfp09-fbf
ICFP 2009 : Felleisen, Findler, Flatt, Krishnamurthi
A Functional I/O System (or Fun for Freshman Kids)
pdf   
icfp09-fffk
ACL2 2009 : Eastlund and Felleisen
Automatic Verification for Interactive Graphical Programs
pdf   
acl209-ef
ACL2 2009 : Eastlund
DoubleCheck Your Theorems
pdf   
acl209-e
ESOP 2009 : Strickland, Tobin-Hochstadt, and Felleisen
Practical Variable-Arity Polymorphism
pdf   
esop09-sthf
PADL 2009 : Eastlund and Felleisen
Toward a Practical Module System for ACL2
pdf   
padl09-ef
FDPE 2008 : Page, Eastlund, and Felleisen
Functional Programming and Theorem Proving for Undergraduates: A Progress Report
pdf   
fdpe08-pef
POPL 2008 : Tobin-Hochstadt, Felleisen
The Design and Implementation of Typed Scheme
pdf   
popl08-thf
ACL2 2007 : Eastlund, Vaillancourt, Felleisen
ACL2 for Freshmen: First Experiences
pdf   
acl207-evf
GPCE 2007 : Culpepper, Felleisen
Debugging Macros
pdf   
gpce07-cf
Scheme 2007 : Culpepper, Tobin-Hochstadt, Flatt
Advanced Macrology and the Implementation of Typed Scheme
pdf   
scheme2007-ctf
ICFP 2007 : Flatt, Yu, Findler, Felleisen
Adding Delimited and Composable Control to a Production Programming Environment
pdf   
the working system and model
icfp07-fyff
Krishnamurthi, Hopkins, McCarthy, Graunke, Pettyjohn , Felleisen
(Journal of Higher-Order and Symbolic Computing)
Implementation and Use of the PLT Scheme Web Server
pdf   
hosc-07
Krishnamurthi, Findler, Graunke, Felleisen
(Interactive Computation (Editors: Goldin, Smolka, Wegner))
Modeling Web Interactions and Errors
pdf   
interaction06-kfgf
APLAS 2006 : Flatt, Findler, Felleisen
Scheme with Classes, Mixins, and Traits
pdf   
aplas06-fff
DLS 2006 : Tobin-Hochstadt, Felleisen
Interlanguage Migration: From Scripts to Programs
pdf   
dls06-tf
Scheme 2006 and Functional Programming : Culpepper, Felleisen
A Stepper for Scheme Macros
pdf   
scheme06-cf
Scheme 2006 and Functional Programming : Barzilay
A Self-Hosting Evaluator using HOAS (Scheme Pearl)
pdf   
scheme06-b
ACL2 2006 : Vaillancourt, Page, Felleisen
ACL2 in DrScheme
pdf   
acl206-vpf
POPL 2006 : Meunier, Findler, Felleisen
Modular Set-Based Analysis from Contracts
pdf   
popl06-mff
ICFP 2005 : Pettyjohn, Clements, Marshall, Krishnamurthi, Felleisen
Continuations from Generalized Stack Inspection
pdf   
Also see: Joe Marshall's "Hacking the Stack"
icfp05-pcmkf
FDPE 2005 : Barzilay and Clements
Laziness Without All the Hard Work
pdf   
fdpe05-bc
GPCE 2005 : Culpepper, Owens, Flatt
Syntactic Abstraction in Component Interfaces
pdf   
gpce05-cof
Meunier, Findler, Steckler, Wand
(Journal of Higher-Order and Symbolic Computing)
Selectors Make Set-Based Analysis Too Hard
pdf   
hosc05-mfsw
POPL 2005 : Cobbe, Felleisen
Environmental Acquisition Revisited
pdf   
popl05-cf
GPCE 2004 : Culpepper, Felleisen
Taming Macros
pdf    ps   
gpce2004-cf
ICFP 2004 : Herman, Meunier
Improving the Static Analysis of Embedded Languages via Partial Evaluation
pdf   
icfp2004-hm
20 years of the ACM SIGPLAN Conference on Programming Language Design and Implementation: 1979 - 1999. A Selection. : Flanagan, Sabry, Duba and Felleisen
The Essence of Compiling with Continuations (Retrospective)
pdf    ps   
See below for the paper.
pldi20-fsdf
Clements, Felleisen, Findler, Flatt, Krishnamurthi
(DrDobb's)
Fostering Little Languages

available on request
ddj04-cfffk
Felleisen, Findler, Flatt, Krishnamurthi
(DrDobb's)
Building Little Languages with Macros

available on request
ddj04-fffk
Clements, Felleisen
(Transactions on Programming Languages and Systems)
A Tail-Recursive Machine with Stack Inspection
pdf   
toplas04-cf
ECOOP 2004 : Findler, Flatt, Felleisen
Semantic Casts: Contracts and Structural Subtyping in a Nomimal World
pdf   
ecoop2004-fff
Scheme 2004 and Functional Programming : Barzilay, Orlovsky
Foreign Interface for PLT Scheme
pdf   
scheme04-bo
RTA 2004 : Matthews, Findler, Flatt, Felleisen
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.
pdf   
rta04-mfff
ICSE 2004 : Antoniu, Steckler, Krishnamurthi, Neuwirth, Felleisen
Validating the Unit Correctness of Spreadsheet Programs
ps   
asknf-icse04
Felleisen, Findler, Flatt, Krishnamurthi
(Journal of Functional Programming)
The Structure and Interpretation of the Computer Science Curriculum
pdf    ps   
jfp2004-fffk
Matthews, Findler, Graunke, Krishnamurthi, Felleisen
(Journal of Automated Software Engineering)
Automatically Restructuring Software for the Web
pdf    ps   
jase2003-mfgkf
Scheme and Functional Programming 2004 : Meunier and Silva
From Python to PLT Scheme
pdf   
scheme2003-ms
Felleisen, Findler, Flatt, Krishnamurthi
(Computer Science Education)
The TeachScheme! Project: Computing and Programming for Every Student
pdf    ps   
The original submission contains additional material: PS , PDF
cse2003-fffk
ESOP 2003 : Clements, Felleisen
A Tail-Recursive Semantics for Stack Inspections
pdf    ps   
esop2003-cf
ESOP 2003 : Graunke, Findler, Krishnamurthi, Felleisen
Modeling Web Interactions
pdf    ps   
esop2003-gfkf
FDPE 2002 : Felleisen, Findler, Flatt, Krishnamurthi
The Structure and Interpretation of the Computer Science Curriculum
pdf    ps   
fdpe2002-fffk
ICFP 2002 : Findler, Felleisen
Contracts for Higher-order Functions
pdf   
icfp2002-ff
AFP 2002 : Felleisen
Developing Interactive Web Programs
ps   
afp2002-f
LISA 2002 : Logan, Felleisen, Blank-Edelman
Environmental Acquisition in Network Management
ps   
lisa2002-lfb
Steckler
(Software Practice and Experience)
Component Support in PLT Scheme

[Not available here for copyright reasons.]
sfp2002-s
ICSE 2002 : Graunke, Krishnamurthi
Advanced Control Flows for Flexible Graphical User Interfaces
pdf    ps   
icse2002-gk
Automated Software Engineering 2001 : Graunke, Findler, Krishnamurthi, Felleisen
Automatically Restructuring Programs for the Web
pdf    ps   
ase2001-gfkf
Scheme and Functional Programming 2001 : Meunier, Findler, Steckler, and Wand
Selectors Make Analysis of
ps   
scmfun01-mfsw
OOPSLA 2001 : Findler, Felleisen.
Contract Soundness for Object-Oriented Languages
pdf    ps   
oopsla01-ff
FSE 2001 : Findler, Latendresse, Felleisen.
Behavioral Contracts and Behavioral Subtyping
pdf   
fse01-flf
Monterey Workshop 2001 : Clements, Graunke, Krishnamurthi, and Felleisen
Little Languages and their Programming Environments
pdf   
mw01-cgkf
Findler, Clements, Flanagan, Flatt, Krishnamurthi, Steckler, and Felleisen.
(Journal of Functional Programming)
DrScheme: A Programming Environment for Scheme
pdf    ps   
jfp01-fcffksf
ESOP 2001 : Clements, Flatt, Felleisen
Modeling an Algebraic Stepper
pdf    ps   
esop2001-cff
ESOP 2001 : Graunke, Krishnamurthi, Van der Hoeven and Felleisen
Programming the Web with High-Level Programming Languages
pdf    ps   
esop2001-gkvf
WMF 2000 : Steckler and A. Moreira (Universidade de Caxias do Sul, Brazil)
Type-Based Locality Analysis
ps   
wmf2000-sm
Scheme and Functional Programming 2000 : Steckler
Component Support in PLT Scheme (short presentation)
ps   
scmfun2000-s
PADL 2000 : Krishnamurthi, Gray and Graunke
Transformation-by-Example for XML

[no on-line version of paper due to copyright restrictions]
abstract
padl2000-kgg
GCSE 99 : Krishnamurthi, Felleisen and Duba
From Macros to Reusable Generative Programming

[no on-line version of paper due to copyright restrictions]
but see Technical Report
gcse99-kfd
Flanagan and Felleisen
(Journal of Functional Programming)
The Semantics of Future and an Application
ps   
popl95-ff
ICFP 99 : Flatt, Findler, Krishnamurthi and Felleisen
Programming Languages as Operating Systems (or, Revenge of the Son of the Lisp Machine)
pdf    ps   
DVI (sans screen dump)
icfp99-ffkf
TOOLS 99 : Steckler
MysterX: A Scheme Toolkit for Building Interactive Applications with COM
ps   
Copyright (C) 1999, IEEE
tools99-s
ESOP 99 : Krishnamurthi, Erlich and Felleisen
Expressing Structural Properties as Language Constructs

[no on-line version of paper due to copyright restrictions]
abstract
slides (PowerPoint)
esop99-kef
Flanagan and Felleisen
(Transactions on Programming Languages and Systems)
Componential Set-Based Analysis
ps   
toplas99-ff
LUGM 98 : Flanagan and Felleisen
A New Way of Debugging LISP Programs
ps   
lugm98-ff
FSE 98 : Krishnamurthi and Felleisen
Toward a Formal Theory of Extensible Software
ps   
Slides (PS, ledger)
fse98-kf
ICFP 98 : Findler and Flatt
Modular Object-Oriented Programming with Units and Mixins
pdf    ps   
HTML
Code
icfp98-ff
ECOOP 98 : Krishnamurthi, Felleisen and Friedman
Synthesizing Object-Oriented and Functional Design to Promote Re-Use

[no on-line version of paper due to copyright restrictions]
see Technical Report abstract
ecoop98-kff
PLDI 98 : Flatt and Felleisen
Units: Cool Modules for HOT Languages
ps   
pldi98-ff
Felleisen, Findler, Flatt, and Krishnamurthi
(Sigplan Notices: Functional Programming Column)
The DrScheme Project: An Overview.
pdf    ps   
sigplan98-fffk
POPL 98 : Flatt, Krishnamurthi, and Felleisen
Classes and Mixins
ps   
corrections in Rice TR 97-293
popl98-fkf
Flatt, Krishnamurthi and Felleisen
(Lecture Notes in Computer Science 1523: Formal Syntax and Semantics of Java)
A Programmer's Reduction Semantics for Classes and Mixins

expanded version of the POPL 98 paper,
corrections in Rice TR 97-293
lncs98-fkf
PLILP 97 : Findler, Flanagan, Flatt, Krishnamurthi and Felleisen
DrScheme: A Pedagogic Programming Environment for Scheme
ps   
plilp97-fffkf
PLDI 97 : Flanagan and Felleisen
Componential Set-Based Analysis
ps   
pldi97-ff
Cartwright and Felleisen
(Computing Surveys)
Program Verification through Soft Typing
ps   
cs96-cf
Felleisen and Weeks
(R. Tennent (Ed.), ALGOL-like Languages)
On the Orthogonality of Assignments and Procedures in Algol
ps   
algol96-fw
Ariola and Felleisen
(Journal of Functional Programming)
The Call-by-Need Lambda-Calculus
ps   
jfp96-af
PLDI 96 : Flanagan, Flatt, Krishnamurthi, Weirich and Felleisen
Catching Bugs in the Web of Program Invariants
ps   
pldi96-ffkwf
FPCA 95 : Morrisett, Felleisen and Harper
Abstract Models of Memory Management
ps   
fpca95-mfh
POPL 95 : Flanagan and Felleisen
The Semantics of Future and Its Use in Program Optimizations
ps   
popl95-ff
Wright and Felleisen
(Information and Computation)
A Syntactic Approach to Type Soundness
ps   
ic94-wf
Cartwright, Curien, and Felleisen
(Information and Computation)
Fully Abstract Semantics for Observably Sequential Languages
pdf    ps   
R. Findler has been correcting typos in the journal version; his new version is available from his web page.
ic94-ccf
PLDI 94 : Sabry and Felleisen
Is Continuation-Passing Useful for Data Flow Analysis?
ps   
pldi94-sf
TACS 94 : Cartwright and Felleisen
Extensible Denotational Language Specifications
ps   
tacs94-cf
Sabry and Felleisen
(LISP and Symbolic Computation)
Reasoning about Programs in Continuation-Passing Style
ps   
lasc93-sf
PLDI 93 : Flanagan, Sabry, Duba and Felleisen
The Essence of Compiling with Continuations
ps   
fsdf-pldi
PLDI 93 : Sitaram
Handling Control
pdf   
fsdf-pldi
POPL 93 : Weeks and Felleisen
On the orthogonality of assignments and procedures in Algol
ps   
popl93-wf
Felleisen and Hieb
(Theoretical Computer Science)
The revised report on the syntactic theories of sequential control and state
pdf    ps   
tcs92-fh
POPL 92 : Cartwright and Felleisen
Observable sequentiality and full abstraction
ps   
popl92-cf
Lecture Notes in Computer Science 666: REX 92 : Kanneganti, Cartwright and Felleisen
SPCF: its model, calculus, and computational power
ps   
rex92-kcf
LFP 92 : Sabry and Felleisen
Reasoning about Programs in Continuation-Passing Style
ps   
lfp92-sf
POPL 91 : Crank and Felleisen
Parameter-Passing and the Lambda Calculus
ps   
popl91-cf
Felleisen
(Science of Computer Programming)
On the Expressive Power of Programming Languages
ps   
scp91-felleisen
Sitaram and Felleisen
(Lisp and Symbolic Computation)
Control Delimiters and Their Hierarchies
pdf   
(Thanks to Robert Findler for scanning in this document and making it available in electronic form.)
lasc1990-sf
LFP 90 : Sitaram and Felleisen
Reasoning with Continuations II: Full Abstraction for Models of Control
ps   
Models of Control: Two Corrections: DVI   PS
lfp90-sf
PLDI 89 : Cartwright and Felleisen
The Semantics of Program Dependence
ps   
pldi89-cf

Dissertations


NORTHEASTERN UNIVERSITY : Stephen Chang
On the Relationship Between Laziness and Strictness
pdf   
dissertation-chang
NORTHEASTERN UNIVERSITY : Carl Eastlund
Modular Proof Development in ACL2
pdf   
dissertation-eastlund
NORTHEASTERN UNIVERSITY : Christos Dimoulas
Foundations for Behavioral Higher-Order Contracts
pdf   
dissertation-dimoulas
NORTHEASTERN UNIVERSITY : T. Stephen Strickland
Scaling Contracts to Realistic Languages
pdf   
dissertation-strickland
NORTHEASTERN UNIVERSITY : Ryan Culpepper
Refining Syntactic Sugar: Tools for Supporting Macro Development
pdf   
dissertation-culpepper
NORTHEASTERN UNIVERSITY : Sam Tobin-Hochstadt
Typed Scheme: From Scripts to Programs
pdf   
dissertation-tobin-hochstadt
NORTHEASTERN UNIVERSITY : Richard Cobbe
Much Ado About Nothing: Putting Java's Null in its Place
pdf   
dissertation-cobbe
NORTHEASTERN UNIVERSITY : Philippe Meunier
Modular Set-Based Analysis from Contracts
pdf   
dissertation-meunier
NORTHEASTERN UNIVERSITY : John Clements
Portable and High-Level Access to the Stack with Continuation Marks
pdf   
dissertation-clements
NORTHEASTERN UNIVERSITY : Paul Graunke
Web Interactions
pdf   
thesis-graunke
RICE UNIVERSITY : Robby Findler
Behavioral Software Contracts
pdf   
thesis-robby
RICE UNIVERSITY : Shriram Krishnamurthi
Linguistic Reuse
ps   
thesis-shriram
RICE UNIVERSITY : Matthew Flatt
Programming Languages for Reusable Software Components
ps   
thesis-flatt
RICE UNIVERSITY : Cormac Flanagan
Effective Static Debugging via Componential Set-Based Analysis
ps   
thesis-flanagan
RICE UNIVERSITY : Amr Sabry
The Formal Relationship between Direct and Continuation-passing Style Optimizing Compilers: A Synthesis of Two Paradigms
ps   
thesis-sabry
RICE UNIVERSITY : Andrew K. Wright
Practical Soft Typing
ps   
thesis-wright
RICE UNIVERSITY : Rama Kanneganti
Universal Domains for Sequential Computation
ps   
advised by Robert "Corky" Cartwright, hosted as a courtesy
thesis-rama
RICE UNIVERSITY : Dorai Sitaram
Models of Control and Their Implications for Programming Language Design
ps   
thesis-sitaram
RICE UNIVERSITY : Mike Fagan
Soft Typing: An Approach to Type Checking for Dynamically Typed Languages
ps   
advised by Robert "Corky" Cartwright, hosted as a courtesy
thesis-fagan
INDIANA UNIVERSITY : Felleisen
The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages
pdf    djvu   
Thanks to Chung-chieh Shan for creating the djvu version.
And thanks to Jim Bender for converting it to PDF.
felleisen87

Technical Reports


Northeastern U. Computer Science TR NU-CCIS-8-28-14-01 : St-Amour, Felleisen
Feature-Specific Profiling
pdf   
NU-CCIS-14-01
Northeastern U. Computer Science TR NU-CCIS-12-01 : Strickland, Tobin-Hochstadt, Findler, and Flatt
Chaperones and Impersonators: Run-time Support for Contracts on Higher-Order, Stateful Values
pdf   
NU-CCIS-12-01
Northeastern U. Computer Science TR NU-CCIS-10-04 : Strickland and Felleisen
Contracts for First-Class Classes
pdf   
NU-CCIS-10-04
Northeastern U. Computer Science TR NU-CCIS-08-03 : Strickland, Tobin-Hochstadt, and Felleisen
Variable-Arity Polymorphism
pdf   
NU-CCIS-08-03
Northeastern U. Computer Science TR NU-CCIS-08-01 : Strickland, Cobbe, and Felleisen
Variable-Arity Generic Interfaces
pdf   
NU-CCIS-08-01
Northeastern U. Computer Science TR NU-CCIS-06-11 : Eastlund and Felleisen
Sequence Traces for Object-Oriented Execution
pdf   
NU-CCIS-06-11
Northeastern U. Computer Science TR NU-CCIS-06-10 : Cobbe and Felleisen
Envrionmental Acquisition Revisited
pdf   
NU-CCIS-06-10
Northeastern U. Computer Science TR NU-CCIS-02-05 : Findler and Felleisen
Contracts for Higher-Order Functions
pdf   
NU-CCIS-02-05
Rice U. Computer Science TR 01-372 : Findler, Latendresse and Felleisen
Object-oriented Programming Languages Need Well-founded Contracts
pdf   
tr01-372
Rice U. Computer Science TR 00-366 : Findler and Felleisen
Behavioral Interface Contracts for Java
pdf   
tr00-366
Rice U. Computer Science TR 00-364 : Krishnamurthi, Felleisen and Duba
From Macros to Reusable Generative Programming
ps   
tr00-364
Rice U. Computer Science TR 99-352 : Felleisen and Krishnamurthi
Safety in Programming Languages
pdf    ps   
tr99-352
Rice U. Computer Science TR 99-346 : Felleisen, Hanus, Thompson
Functional and Declarative Programming in Education

Directory
tr99-346
Rice U. Computer Science TR 98-299 : Krishnamurthi, Felleisen and Friedman
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
ps   
tr98-299
Rice U. Computer Science TR 97-293 : Flatt, Krishnamurthi and Felleisen (
A Programmer's Reduction Semantics for Classes and Mixins
pdf    ps   
tr97-293
Rice U. Computer Science TR 97-292 : Krishnamurthi and Felleisen
Lecture Notes on the Principles of Programming Languages
ps   
tr97-292
Rice U. Computer Science TR 96-266 : Flanagan and Felleisen
Modular and Polymorphic Set-Based Analysis: Theory and Practice
ps   
tr96-266
Rice U. Computer Science TR 91-160 : Wright and Felleisen
A Syntactic Approach to Type Soundness
ps   
tr91-160
Rice U. Computer Science TR 89-100 : Felleisen and Hieb
The revised report on the syntactic theories of sequential control and state
ps   
tr89-100
Indiana U. Computer Science TR 87-216 : Felleisen, Friedman, Duba, Merrill
Beyond Continuations
pdf    djvu   
Thanks to Chung-chieh Shan for creating the djvu version.
felleisen-beyond
Indiana U. Computer Science TR 85-182 : Felleisen
Transliterating Prolog into Scheme
pdf   
tr182-f