Matthias Felleisen

According to our database1, Matthias Felleisen authored at least 147 papers between 1986 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 2006, "For contributions to programming languages and development environments.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
A spectrum of type soundness and performance.
PACMPL, 2018

Feature-Specific Profiling.
CoRR, 2018

A programmable programming language.
Commun. ACM, 2018

2017
Super 8 languages for making movies (functional pearl).
PACMPL, 2017

Migratory Typing: Ten Years Later.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016
Is sound gradual typing dead?
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Oh Lord, please don't let contracts be misunderstood (functional pearl).
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Coordinated Concurrent Programming in Syndicate.
Proceedings of the Programming Languages and Systems, 2016

2015
The Racket Manifesto.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap.
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Towards Practical Gradual Typing.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Feature-Specific Profiling.
Proceedings of the Compiler Construction - 24th International Conference, 2015

2014
Editorial.
J. Funct. Program., 2014

Profiling for laziness.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

The Network as a Language Construct.
Proceedings of the Programming Languages and Systems, 2014

2013
Contracts for First-Class Classes.
ACM Trans. Program. Lang. Syst., 2013

ICFP 2002: Contracts for higher-order functions.
SIGPLAN Notices, 2013

Option contracts.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Realm of Racket - Learn to Program, One Game at a Time!
No Starch Press, ISBN: 978-1-59327-491-7, 2013

2012
Editorial.
J. Funct. Program., 2012

The Call-by-need Lambda Calculus, Revisited
CoRR, 2012

Run your research: on the effectiveness of lightweight mechanization.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Typing the Numeric Tower.
Proceedings of the Practical Aspects of Declarative Languages, 2012

Gradual typing for first-class classes.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Optimization coaching: optimizers learn to communicate with programmers.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Complete Monitors for Behavioral Contracts.
Proceedings of the Programming Languages and Systems, 2012

The Call-by-Need Lambda Calculus, Revisited.
Proceedings of the Programming Languages and Systems, 2012

2011
On contract satisfaction in a higher-order world.
ACM Trans. Program. Lang. Syst., 2011

Stepping Lazy Programs
CoRR, 2011

The Design and Implementation of Typed Scheme: From Scripts to Programs
CoRR, 2011

TeachScheme!
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Correct blame for contracts: no more scapegoating.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Languages as libraries.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

From Stack Traces to Lazy Rewriting Sequences.
Proceedings of the Implementation and Application of Functional Languages, 2011

Multilingual component programming in racket.
Proceedings of the Generative Programming And Component Engineering, 2011

2010
Debugging hygienic macros.
Sci. Comput. Program., 2010

Evaluating Call-By-Need on the Control Stack
CoRR, 2010

Adding types to untyped languages.
Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Hygienic Macros for ACL2.
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Evaluating Call-by-Need on the Control Stack.
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Logical types for untyped languages.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

TeachScheme!: a checkpoint.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Fortifying macros.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Contracts for first-class classes.
Proceedings of the 6th Symposium on Dynamic Languages, 2010

2009
Editorial.
J. Funct. Program., 2009

Viewpoint - Why computer science doesn't matter.
Commun. ACM, 2009

Making induction manifest in modular ACL2.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Future contracts.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Toward a Practical Module System for ACL2.
Proceedings of the Practical Aspects of Declarative Languages, 2009

Nested and Dynamic Contract Boundaries.
Proceedings of the Implementation and Application of Functional Languages, 2009

A functional I/O system or, fun for freshman kids.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Practical Variable-Arity Polymorphism.
Proceedings of the Programming Languages and Systems, 2009

Contracts for first-class modules.
Proceedings of the 5th Symposium on Dynamic Languages, 2009

Semantics Engineering with PLT Redex.
MIT Press, ISBN: 978-0-262-06275-6, 2009

2008
Why teach programming languages in this day and age and how to go about it.
SIGPLAN Notices, 2008

The design and implementation of typed scheme.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Functional programming and theorem proving for undergraduates: a progress report.
Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

2007
Implementation and use of the PLT scheme Web server.
Higher-Order and Symbolic Computation, 2007

Adding delimited and composable control to a production programming environment.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Debugging macros.
Proceedings of the Generative Programming and Component Engineering, 2007

2006
Modular set-based analysis from contracts.
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Interlanguage migration: from scripts to programs.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Scheme with Classes, Mixins, and Traits.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

ACL2 in DrScheme.
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2005
Editorial.
Higher-Order and Symbolic Computation, 2005

Environmental acquisition revisited.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Continuations from generalized stack inspection.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

How to design class hierarchies.
Proceedings of the 2005 workshop on Functional and declarative programming in education, Tallinn, Estonia, September 25, 2005

2004
A tail-recursive machine with stack inspection.
ACM Trans. Program. Lang. Syst., 2004

The structure and interpretation of the computer science curriculum.
J. Funct. Program., 2004

The TeachScheme! Project: Computing and Programming for Every Student.
Computer Science Education, 2004

Automatically Restructuring Programs for the Web.
Autom. Softw. Eng., 2004

A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.
Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

Validating the Unit Correctness of Spreadsheet Programs.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Taming Macros.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Semantic Casts: Contracts and Structural Subtyping in a Nominal World.
Proceedings of the ECOOP 2004, 2004

Functional Objects.
Proceedings of the ECOOP 2004, 2004

2003
Welcome to the Educational Pearls Column.
J. Funct. Program., 2003

Modeling Web Interactions.
Proceedings of the Programming Languages and Systems, 2003

A Tail-Recursive Semantics for Stack Inspections.
Proceedings of the Programming Languages and Systems, 2003

2002
DrScheme: a programming environment for Scheme.
J. Funct. Program., 2002

From POPL to the classroom and back.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Environmental Acquisition in Network Management.
Proceedings of the 16th Conference on Systems Administration (LISA 2002), 2002

Contracts for higher-order functions.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

Developing Interactive Web Programs.
Proceedings of the Advanced Functional Programming, 2002

2001
SIGPLAN Response to the Ironman Draft of the Computing Curricula 2001.
SIGPLAN Notices, 2001

Behavioral contracts and behavioral subtyping.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Contract Soundness for Object-Oriented Languages.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Automatically Restructuring Programs for the We.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Programming the Web with High-Level Programming Languages.
Proceedings of the Programming Languages and Systems, 2001

Modeling an Algebraic Stepper.
Proceedings of the Programming Languages and Systems, 2001

2000
Components and program analyses.
ACM SIGSOFT Software Engineering Notes, 2000

1999
Componential Set-Based Analysis.
ACM Trans. Program. Lang. Syst., 1999

The Semantics of Future and an Application.
J. Funct. Program., 1999

A Programmer's Reduction Semantics for Classes and Mixins.
Proceedings of the Formal Syntax and Semantics of Java, 1999

Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine).
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

From Macros to Reusable Generative Programming.
Proceedings of the Generative and Component-Based Software Engineering, 1999

Expressing Structural Properties as Language Constructs.
Proceedings of the Programming Languages and Systems, 1999

Safety as a Metric.
Proceedings of the 12th Conference on Software Engineering Education and Training, 1999

1998
The DrScheme Project: An Overview.
SIGPLAN Notices, 1998

Toward a Formal Theory of Extensible Software.
Proceedings of the SIGSOFT '98, 1998

Classes and Mixins.
Proceedings of the POPL '98, 1998

Units: Cool Modules for HOT Languages.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Synthesizing Object-Oriented and Functional Design to Promote Re-Use.
Proceedings of the ECOOP'98, 1998

1997
The Call-By-Need lambda Calculus.
J. Funct. Program., 1997

Program Units as Higher-Order Modules.
Electr. Notes Theor. Comput. Sci., 1997

DrScheme: A Pedagogic Programming Environment for Scheme.
Proceedings of the Programming Languages: Implementations, 1997

Componential Set-Based Analysis.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

1996
Program Verification Through Soft Typing.
ACM Comput. Surv., 1996

Static Debugging: Browsing the Web of Program Invariants.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

A little Java, a few patterns.
MIT Press, ISBN: 978-0-262-56115-0, 1996

The little MLer.
MIT Press, ISBN: 978-0-262-56114-3, 1996

The little schemer (4. ed.).
MIT Press, ISBN: 978-0-262-56099-3, 1996

The seasoned schemer.
MIT Press, ISBN: 978-0-262-56100-6, 1996

1995
The Semantics of Future and Its Use in Program Optimizations.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

The Call-by-Need Lambda Calculus.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Abstract Models of Memory Management.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994
A Syntactic Approach to Type Soundness
Inf. Comput., November, 1994

Fully Abstract Semantics for Observably Sequential Languages
Inf. Comput., June, 1994

Extensible Denotational Language Specifications.
Proceedings of the Theoretical Aspects of Computer Software, 1994

Is Continuation-Passing Useful for Data Flow Analysis?
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

1993
Reasoning about Programs in Continuation-Passing Style.
Lisp and Symbolic Computation, 1993

On the Orthogonality of Assignments and Procedures in Algol.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

The essence of compiling with continuations (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1993

The Essence of Compiling with Continuations.
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

1992
The Revised Report on the Syntactic Theories of Sequential Control and State.
Theor. Comput. Sci., 1992

SPCF: Its Model, Calculus, and Computational Power (Preliminary Version).
Proceedings of the Sematics: Foundations and Applications, 1992

Observable Sequentiality and Full Abstraction.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Reasoning About Programs in Continuation-Passing Style.
LISP and Functional Programming, 1992

1991
On the Expressive Power of Programming Languages.
Sci. Comput. Program., 1991

Modeling Continuations without Continuations.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Parameter-Passing and the Lambda Calculus.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

1990
Control Delimiters and Their Hierarchies.
Lisp and Symbolic Computation, 1990

Reasoning with Continuations II: Full Abstraction for Models of Control.
LISP and Functional Programming, 1990

On the Expressive Power of Programming Languages.
Proceedings of the ESOP'90, 1990

1989
A Syntactic Theory of Sequential State.
Theor. Comput. Sci., 1989

The Semantics of Program Dependence.
Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

1988
The Theory and Practice of First-Class Prompts.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Abstract Continuations: A Mathematical Semantics for Handling Full Jumps.
LISP and Functional Programming, 1988

lambda-V-CS: An Extended lambda-Calculus for Scheme.
LISP and Functional Programming, 1988

1987
A Syntactic Theory of Sequential Control.
Theor. Comput. Sci., 1987

Reflections on Landins's J-Operator: A Partly Historical Note.
Comput. Lang., 1987

A Calculus for Assignments in Higher-Order Languages.
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

A Reduction Semantics for Imperative Higher-Order Languages.
Proceedings of the PARLE, 1987

1986
A Closer Look at Export and Import Statements.
Comput. Lang., 1986

Reasoning with Continuations
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Hygienic Macro Expansion.
LISP and Functional Programming, 1986


  Loading...