NU PLT

Conference and Journal Papers

ICFP 2024 : Ballantyne, Gambug, Hemann
Compiled, Extensible, Multi-language DSLs
pdf

Caldwell, Garnock-Jones, Felleisen
(Journal of Functional Programming)
Programming and Reasoning about Actors that Share State
pdf
Also see the JFP version

cgf-jfp24

ECOOP 2024 : Wiersdorf, Chang, Felleisen, Greenman
Type tailoring
pdf

ecoop24-wcfg

Moy
(Journal of Functional Programming)
Knuth–Morris–Pratt illustrated
pdf

m-jfp24

POPL 2024 : Moy, Dimoulas, Felleisen
Effectful Software Contracts
pdf
Also see the ACM version

popl24-mdf

Moy
(Journal of Functional Programming)
Knuth-Morris-Pratt illustrated
pdf
Also see the JFP version

m-jfp24m

Moy, Felleisen
(Journal of Functional Programming)
Trace Contracts
pdf
Also see the JFP version

mf-jfp23

OOPSLA 2023 : Greenman, Felleisen, Dimoulas
How Profilers Can Help Navigate Type Migration
pdf

oopsla23-gfd.pdf

ICFP 2023 : Lazarek, Greenman, Felleisen, Dimoulas
How to Evaluate Blame, Part II
pdf

icfp23-lgfd

TFP 2023 : Moy
Faster, Simpler Red-Black Trees
pdf

tfp23-m

Eelco Visser Commemorative Symposium : Ballantyne, Felleisen
Injecting Language Workbench Technology into Mainstream Languages
pdf
Also see the published Symposium version

evcs

Greenman, Dimoulas, Felleisen
(Transactions on Programming Languages and Systems)
Typed–Untyped Interactions: A Comparative Analysis
pdf
Also see the published TOPLAS version

toplas23-gdf

PLDI 2022 : Greenman
Deep and Shallow Types for Gradual Languages
pdf

pldi22-g

Greenman, Lazarek, Dimoulas, Felleisen
(Programming)
A Transient Semantics for Typed Racket
pdf

prog21

ICFP 2021 : Lazarek, Greenman, Felleisen, Dimoulas
How to Evaluate Blame
pdf

icfp21-lgfd.pdf

OOPSLA 2020 : Andersen, Ballantyne, Felleisen
Adding Interactive Visual Syntax to Textual Code
pdf
take a look at the conference presentation

oopsla20-abf

OOPSLA 2020 : Ballantyne, King, Felleisen
Macros for Domain-Specific Languages
pdf

oopsla20-bkf

Caldwell, Garnock-Jones, Felleisen
(Journal of Functional Programming)
Typed Dataspace Actors
pdf
Also see the actual JFP version and the video abstract for JFP

gtnffvf-jfp20a

POPL 2020 : Chang, Ballantyne, Turner, Bowman
Dependent Type Systems as Macros
pdf

popl20-cbtb

OOPSLA 2019 : Greenman, Felleisen, Dimoulas
Complete Monitors for Gradual Types
pdf
Also see the technical report version with proofs.

oopsla19-gfd

SNAPL 2019 : Culpepper, Felleisen, Flatt, Krishnamurthi
From Macros to DSLs: The Evolution of Racket
pdf
Also see the actual LIPICS version and the BibTeX citation.
The full proceedings is available at LIPIcs Vol. 136, SNAPL 2019 .

snapl19

Greenmean, Takikawa, New, Feltey, Findler, Vitek, Felleisen
(Journal of Functional Programming)
How to Evaluate the Performance of Gradual Type Systems
pdf
Also see the actual JFP version

gtnffvf-jfp19

OOPSLA 2018 : Feltey, Greenman, Scholliers, Findler, St-Amour
Collapsible Contracts: Fixing a Pathology of Gradual Typing
pdf

oopsla18-fgsfs

DLS 2018 : Wilson, Greenman, Pombrio, Krishnamurthi
The Behavior of Gradual Types: A User Study
pdf

dls18-wgpk

ICFP 2018 : Greenman, Felleisen
A Spectrum of Soundness and Performance
pdf

icfp18-gf

Andersen, St-Amour, Vitek, Felleisen
(Transactions on Programming Languages and Systems)
Feature-Specific Profiling
pdf

toplas18-asvf

CACM 2018 : Felleisen, Findler, Flatt, Krishnamurthi, Barzilay, McCarthy, and Tobin-Hochstadt
A Programmable Programming Language [draft]
pdf
the actual CACM version , the CACM Video , the Video preview , and CACM front page for March 2018

fffkbmt-cacm18

POPL 2018 : Chang, Knauth, Torlak
Symbolic Types for Lenient Symbolic Execution
pdf

popl18-ckt

PEPM 2018 : Greenman, Migeed
On the Cost of Type-Tag Soundness
pdf

pepm18-gm

ICFP 2017 : Andersen, Chang, and Felleisen
Super 8 Languages for Making Movies
pdf
download the video language

icfp17-acf

SNAPL 2017 : Tobin-Hochstadt, Felleisen, Findler, Flatt, Greenman, Kent, St-Amour, Strickland, Takikawa
Migratory Typing: Ten Years Later
pdf

typed-racket

POPL 2017 : Chang, Knauth, Greenman
Type Systems as Macros
pdf

popl17-ckg

ICFP 2016 : Dimoulas, New, Findler, and Felleisen
Oh Lord, Please Don't Let Contracts be Misunderstood, a Variation on Old Gems
pdf

icfp16-dnff

ESOP 2016 : Garnock-Jones and Felleisen
Coordinated Concurrent Programming in Syndicate
pdf

esop16-gjf

PLACES 2016 : Garnock-Jones
From Events to Reactions
pdf

places16-gj

POPL 2016 : Takikawa, Feltey, Greenman, New, Vitek, and Felleisen
Is sound gradual typing dead?
pdf
a preliminary link to the accompanying artifact, which contains the Racket implementation used for the measurements, all benchmarks, and all timings.

popl16-tfgnvf

ECOOP 2015 : Takikawa, Feltey, Dean, Flatt, Findler, Tobin-Hochstadt, and Felleisen
Toward practical gradual typing
pdf
Our artifact could not be evaluated because Matthew Flatt was chairman of the AEC for ECOOP 2015.

ecoop15-tfdffthf

ECOOP 2015 : St-Amour and Guo
Optimization Coaching for JavaScript
pdf

ecoop15-sag

SNAPL 2015 : Felleisen, Findler, Flatt, Krishnamurthi, Barzilay, McCarthy, Tobin-Hochstadt
The Racket Manifesto
pdf

manifesto

CC 2015 : St-Amour, Andersen, Felleisen
Feature-specific Profiling
pdf

cc15-saf

SIGCSE 2015 : Schanzer, Fisler, Krishnamurthi, Felleisen
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap
pdf

sigcse-sfkf

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

Journal of Functional Programming : Culpepper
Fortifying Macros
pdf
Also see the actualJFP version

c-jfp12

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

CACM 2009 : Felleisen and Krishnamurthi
Computer Science Doesn't Matter [draft]
pdf

fk-cacm09

IFL 2009 (appeared 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 Racket

[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

IEEE Software Engineering Education and Training '99 : Felleisen, Cartwright
Safety as a metric
pdf
Copyright (C) 1999, IEEE

seet99

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

POPL 88 (1) : Rebecca Parsons Selke
A Rewriting Semantics of Program Dependence Graphs
pdf
(Thanks to Spencer Florence for making this document available in electronic form.)

popl88-s

POPL 88 (2) : Felleisen
The Theory and Practice of First-Class Prompts
pdf

popl88-f

LiCS 86 : Felleisen, Friedman, Kohlbecker, and Duba
Reasoning with Continuations
pdf
(Thanks to Tony Garnock-Jones for scanning in this document and making it available in electronic form.)

lics86-ffkd

PLT (Northeastern): Publications

Conference and Journal Papers

Dissertations

Technical Reports