NU
|
NU
|
| Home of NU PLT |
PLT: Publications Northeastern PLT: Publications
This archive collects NU PLT's Papers, Technical Reports, and 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 hosts Eugene Kohlbecker's dissertation in order to disseminate its ideas widely:
dissertation-kohlbecker
Conference and Journal Papers
esop13-tsth
esop13-c
oopsla12-thvh
Chaperones and Impersonators: Run-time Support for Reasonable Interpositionoopsla12-sthff
Gradual Typing for First-Class Classesoopsla12-tsdthf
oopsla12-stf
Seeing the Futures: Profiling Shared-Memory Parallel Racket
fhpc2012-sfsff
esop12-cf
esop12-dthf
From Stack Traces to Lazy Rewriting Sequencesifl11-cbcf
(Transactions on Programming Languages and Systems)
On Contract Satisfaction in a Higher-Order Worldtoplas11-df
Run Your Research
pdf also visit the senior author's publication site for the Redex modelspopl12-kfff
padl12-stff
pldi11-thacff
Correct Blame for Contracts: No More Scapegoatingpopl11-dfff
tfp10-ef
dls10-sf
icfp10-cf
icfp10-thf
icfp10-f
Functional Data Structures for Typed Racketsfp10-kth
tldi10-f
ifl09-sf
dls09-sf
scheme2009-ef
scheme2009-b
scheme2009-fb
stop09-ft
ppdp09-ef
ppdp09-dpf
cf-sp09
icfp09-fbf
A Functional I/O System (or Fun for Freshman Kids)icfp09-fffk
acl209-ef
acl209-e
esop09-sthf
padl09-ef
Functional Programming and Theorem Proving for Undergraduates: A Progress Reportfdpe08-pef
popl08-thf
acl207-evf
gpce07-cf
Advanced Macrology and the Implementation of Typed Schemescheme2007-ctf
Adding Delimited and Composable Control to a Production Programming Environment
the working system and modelicfp07-fyff
(Journal of Higher-Order and Symbolic Computing)
Implementation and Use of the PLT Scheme Web Serverhosc-07
(Interactive Computation (Editors: Goldin, Smolka, Wegner))
Modeling Web Interactions and Errorsinteraction06-kfgf
aplas06-fff
dls06-tf
scheme06-cf
A Self-Hosting Evaluator using HOAS (Scheme Pearl)scheme06-b
acl206-vpf
popl06-mff
Continuations from Generalized Stack Inspection
Also see: Joe Marshall's "Hacking the Stack"icfp05-pcmkf
fdpe05-bc
gpce05-cof
(Journal of Higher-Order and Symbolic Computing)
Selectors Make Set-Based Analysis Too Hardhosc05-mfsw
popl05-cf
gpce2004-cf
Improving the Static Analysis of Embedded Languages via Partial Evaluationicfp2004-hm
pldi20-fsdf
(DrDobb's)
Fostering Little Languages
available on requestddj04-cfffk
(DrDobb's)
Building Little Languages with Macros
available on requestddj04-fffk
(Transactions on Programming Languages and Systems)
A Tail-Recursive Machine with Stack Inspectiontoplas04-cf
Semantic Casts: Contracts and Structural Subtyping in a Nomimal Worldecoop2004-fff
scheme04-bo
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.rta04-mfff
Validating the Unit Correctness of Spreadsheet Programs
psasknf-icse04
jfp2004-fffk
jase2003-mfgkf
scheme2003-ms
cse2003-fffk
esop2003-cf
esop2003-gfkf
fdpe2002-fffk
icfp2002-ff
afp2002-f
lisa2002-lfb
(Software Practice and Experience)
Component Support in PLT Scheme
[Not available here for copyright reasons.]sfp2002-s
icse2002-gk
ase2001-gfkf
Selectors Make Analysis of
psscmfun01-mfsw
oopsla01-ff
fse01-flf
Little Languages and their Programming Environmentsmw01-cgkf
jfp01-fcffksf
esop2001-cff
esop2001-gkvf
Type-Based Locality Analysis
pswmf2000-sm
Component Support in PLT Scheme (short presentation)
psscmfun2000-s
Transformation-by-Example for XML
[no on-line version of paper due to copyright restrictions]
abstractpadl2000-kgg
From Macros to Reusable Generative Programming
[no on-line version of paper due to copyright restrictions]
but see Technical Reportgcse99-kfd
(Journal of Functional Programming)
The Semantics of Future and an Application
pspopl95-ff
icfp99-ffkf
MysterX: A Scheme Toolkit for Building Interactive Applications with COM
ps
Copyright (C) 1999, IEEEtools99-s
Expressing Structural Properties as Language Constructs
[no on-line version of paper due to copyright restrictions]
abstract
slides (PowerPoint)esop99-kef
(Transactions on Programming Languages and Systems)
Componential Set-Based Analysis
pstoplas99-ff
lugm98-ff
Toward a Formal Theory of Extensible Software
ps
Slides (PS, ledger)fse98-kf
icfp98-ff
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
pldi98-ff
sigplan98-fffk
popl98-fkf
(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-293lncs98-fkf
DrScheme: A Pedagogic Programming Environment for Scheme
psplilp97-fffkf
pldi97-ff
cs96-cf
(R. Tennent (Ed.), ALGOL-like Languages)
On the Orthogonality of Assignments and Procedures in Algol
psalgol96-fw
jfp96-af
Catching Bugs in the Web of Program Invariants
pspldi96-ffkwf
fpca95-mfh
popl95-ff
ic94-wf
(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
pldi94-sf
tacs94-cf
(LISP and Symbolic Computation)
Reasoning about Programs in Continuation-Passing Style
pslasc93-sf
fsdf-pldi
fsdf-pldi
popl93-wf
tcs92-fh
popl92-cf
SPCF: its model, calculus, and computational power
psrex92-kcf
lfp92-sf
popl91-cf
scp91-felleisen
(Lisp and Symbolic Computation)
Control Delimiters and Their Hierarchies
(Thanks to Robert Findler for scanning in this document and making it available in electronic form.)lasc1990-sf
lfp90-sf
pldi89-cf
Dissertations
dissertation-eastlund
dissertation-dimoulas
dissertation-strickland
Refining Syntactic Sugar: Tools for Supporting Macro Developmentdissertation-culpepper
dissertation-tobin-hochstadt
Much Ado About Nothing: Putting Java's Null in its Placedissertation-cobbe
dissertation-meunier
Portable and High-Level Access to the Stack with Continuation Marksdissertation-clements
thesis-graunke
thesis-robby
thesis-shriram
thesis-flatt
thesis-flanagan
The Formal Relationship between Direct and Continuation-passing Style Optimizing Compilers: A Synthesis of Two Paradigms
psthesis-sabry
thesis-wright
thesis-rama
Models of Control and Their Implications for Programming Language Design
psthesis-sitaram
Soft Typing: An Approach to Type Checking for Dynamically Typed Languages
psthesis-fagan
felleisen87
Technical Reports
Chaperones and Impersonators: Run-time Support for Contracts on Higher-Order, Stateful ValuesNU-CCIS-12-01
Contracts for First-Class ClassesNU-CCIS-10-04
Variable-Arity PolymorphismNU-CCIS-08-03
Variable-Arity Generic InterfacesNU-CCIS-08-01
Sequence Traces for Object-Oriented ExecutionNU-CCIS-06-10
Envrionmental Acquisition RevisitedNU-CCIS-06-10
Contracts for Higher-Order FunctionsNU-CCIS-02-05
Object-oriented Programming Languages Need Well-founded Contractstr01-372
Behavioral Interface Contracts for Javatr00-366
From Macros to Reusable Generative Programming
pstr00-364
tr99-352
Functional and Declarative Programming in Education
Directorytr99-346
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
pstr98-299
tr97-293
Lecture Notes on the Principles of Programming Languages
pstr97-292
Modular and Polymorphic Set-Based Analysis: Theory and Practice
pstr96-266
tr91-160
The revised report on the syntactic theories of sequential control and state
pstr89-100
felleisen-beyond
tr182-f