Matthias Felleisen

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 30

Top Venues

Proc. ACM Program. Lang.

CoRR

J. Funct. Program.

SNAPL

Publications

Leif Andersen, Cameron Moy, Stephen Chang, Matthias Felleisen
Making Hybrid Languages: A Recipe. CoRR (2024)
Cameron Moy, Christos Dimoulas, Matthias Felleisen
Effectful Software Contracts. Proc. ACM Program. Lang. 8 (POPL) (2024)
Michael Ballantyne, Matthias Felleisen
Injecting Language Workbench Technology into Mainstream Languages. Eelco Visser Commemorative Symposium (2023)
Cameron Moy, Matthias Felleisen
Trace contracts. J. Funct. Program. 33 (2023)
Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
How to Evaluate Blame for Gradual Types, Part 2. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Ben Greenman, Christos Dimoulas, Matthias Felleisen
Typed-Untyped Interactions: A Comparative Analysis. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Ben Greenman, Matthias Felleisen, Christos Dimoulas
How Profilers Can Help Navigate Type Migration. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen
A Transient Semantics for Typed Racket. Art Sci. Eng. Program. 6 (2) (2022)
Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen
A Transient Semantics for Typed Racket. CoRR (2021)
Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
How to evaluate blame for gradual types. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Leif Andersen, Michael Ballantyne, Matthias Felleisen
Adding Interactive Visual Syntax to Textual Code. CoRR (2020)
Leif Andersen, Michael Ballantyne, Matthias Felleisen
Adding interactive visual syntax to textual code. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Michael Ballantyne, Alexis King, Matthias Felleisen
Macros for domain-specific languages. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Samuel Caldwell, Tony Garnock-Jones, Matthias Felleisen
Typed dataspace actors. J. Funct. Program. 30 (2020)
Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
From Macros to DSLs: The Evolution of Racket. SNAPL (2019)
Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
How to evaluate the performance of gradual type systems. J. Funct. Program. 29 (2019)
Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
Feature-Specific Profiling. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Ben Greenman, Matthias Felleisen, Christos Dimoulas
Complete monitors for gradual types. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
Feature-Specific Profiling. CoRR (2018)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
A programmable programming language. Commun. ACM 61 (3) (2018)
Ben Greenman, Matthias Felleisen
A spectrum of type soundness and performance. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa
Migratory Typing: Ten Years Later. SNAPL (2017)
Leif Andersen, Stephen Chang, Matthias Felleisen
Super 8 languages for making movies (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen
Oh Lord, please don't let contracts be misunderstood (functional pearl). ICFP (2016)
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
Is sound gradual typing dead? POPL (2016)
Tony Garnock-Jones, Matthias Felleisen
Coordinated Concurrent Programming in Syndicate. ESOP (2016)
Vincent St-Amour, Leif Andersen, Matthias Felleisen
Feature-Specific Profiling. CC (2015)
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen
Towards Practical Gradual Typing. ECOOP (2015)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
The Racket Manifesto. SNAPL (2015)
Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. SIGCSE (2015)
Stephen Chang, Matthias Felleisen
Profiling for laziness. POPL (2014)
Matthias Felleisen
Editorial. J. Funct. Program. 24 (6) (2014)
Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen
The Network as a Language Construct. ESOP (2014)
T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen
Contracts for First-Class Classes. ACM Trans. Program. Lang. Syst. 35 (3) (2013)
Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen
Option contracts. OOPSLA (2013)
Robert Bruce Findler, Matthias Felleisen
ICFP 2002: Contracts for higher-order functions. ACM SIGPLAN Notices 48 (4S) (2013)
Matthias Felleisen
Editorial. J. Funct. Program. 22 (3) (2012)
Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
Gradual typing for first-class classes. OOPSLA (2012)
Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
Complete Monitors for Behavioral Contracts. ESOP (2012)
Stephen Chang, Matthias Felleisen
The Call-by-Need Lambda Calculus, Revisited. ESOP (2012)
Stephen Chang, Matthias Felleisen
The Call-by-need Lambda Calculus, Revisited CoRR (2012)
Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen
Optimization coaching: optimizers learn to communicate with programmers. OOPSLA (2012)
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen
Typing the Numeric Tower. PADL (2012)
Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler
Run your research: on the effectiveness of lightweight mechanization. POPL (2012)
Matthias Felleisen
Multilingual component programming in racket. GPCE (2011)
Christos Dimoulas, Matthias Felleisen
On contract satisfaction in a higher-order world. ACM Trans. Program. Lang. Syst. 33 (5) (2011)
Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen
From Stack Traces to Lazy Rewriting Sequences. IFL (2011)
Matthias Felleisen
TeachScheme! SIGCSE (2011)
Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen
Correct blame for contracts: no more scapegoating. POPL (2011)
Sam Tobin-Hochstadt, Matthias Felleisen
The Design and Implementation of Typed Scheme: From Scripts to Programs CoRR (2011)
Stephen Chang, John Clements, Eli Barzilay, Matthias Felleisen
Stepping Lazy Programs CoRR (2011)
Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen
Languages as libraries. PLDI (2011)
Stephen Chang, David Van Horn, Matthias Felleisen
Evaluating Call-by-Need on the Control Stack. Trends in Functional Programming (2010)
Ryan Culpepper, Matthias Felleisen
Debugging hygienic macros. Sci. Comput. Program. 75 (7) (2010)
Sam Tobin-Hochstadt, Matthias Felleisen
Logical types for untyped languages. ICFP (2010)
Matthias Felleisen
Adding types to untyped languages. TLDI (2010)
Carl Eastlund, Matthias Felleisen
Hygienic Macros for ACL2. Trends in Functional Programming (2010)
Ryan Culpepper, Matthias Felleisen
Fortifying macros. ICFP (2010)
Stephen Chang, David Van Horn, Matthias Felleisen
Evaluating Call-By-Need on the Control Stack CoRR (2010)
T. Stephen Strickland, Matthias Felleisen
Contracts for first-class classes. DLS (2010)
Matthias Felleisen
TeachScheme!: a checkpoint. ICFP (2010)
Matthias Felleisen, Shriram Krishnamurthi
Viewpoint - Why computer science doesn't matter. Commun. ACM 52 (7) (2009)
T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen
Practical Variable-Arity Polymorphism. ESOP (2009)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
A functional I/O system or, fun for freshman kids. ICFP (2009)
T. Stephen Strickland, Matthias Felleisen
Nested and Dynamic Contract Boundaries. IFL (2009)
T. Stephen Strickland, Matthias Felleisen
Contracts for first-class modules. DLS (2009)
Xavier Leroy, Matthias Felleisen
Editorial. J. Funct. Program. 19 (5) (2009)
Christos Dimoulas, Riccardo Pucella, Matthias Felleisen
Future contracts. PPDP (2009)
Carl Eastlund, Matthias Felleisen
Toward a Practical Module System for ACL2. PADL (2009)
Carl Eastlund, Matthias Felleisen
Making induction manifest in modular ACL2. PPDP (2009)
Rex L. Page, Carl Eastlund, Matthias Felleisen
Functional programming and theorem proving for undergraduates: a progress report. FDPE@ICFP (2008)
Matthias Felleisen
Why teach programming languages in this day and age and how to go about it. ACM SIGPLAN Notices 43 (11) (2008)
Sam Tobin-Hochstadt, Matthias Felleisen
The design and implementation of typed scheme. POPL (2008)
Ryan Culpepper, Matthias Felleisen
Debugging macros. GPCE (2007)
Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen
Implementation and use of the PLT scheme Web server. High. Order Symb. Comput. 20 (4) (2007)
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
Adding delimited and composable control to a production programming environment. ICFP (2007)
Philippe Meunier, Robert Bruce Findler, Matthias Felleisen
Modular set-based analysis from contracts. POPL (2006)
Sam Tobin-Hochstadt, Matthias Felleisen
Interlanguage migration: from scripts to programs. OOPSLA Companion (2006)
Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
Scheme with Classes, Mixins, and Traits. APLAS (2006)
Dale Vaillancourt, Rex L. Page, Matthias Felleisen
ACL2 in DrScheme. ACL2 (2006)
Richard Cobbe, Matthias Felleisen
Environmental acquisition revisited. POPL (2005)
Matthias Felleisen
How to design class hierarchies. FDPE@ICFP (2005)
Matthias Felleisen, Julia Lawall, Manuel Serrano, Olin Shivers
Editorial. High. Order Symb. Comput. 18 (3-4) (2005)
Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen
Continuations from generalized stack inspection. ICFP (2005)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The TeachScheme! Project: Computing and Programming for Every Student. Comput. Sci. Educ. 14 (1) (2004)
Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen
Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11 (4) (2004)
Ryan Culpepper, Matthias Felleisen
Taming Macros. GPCE (2004)
Matthias Felleisen
Functional Objects. ECOOP (2004)
Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP (2004)
John Clements, Matthias Felleisen
A tail-recursive machine with stack inspection. ACM Trans. Program. Lang. Syst. 26 (6) (2004)
Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA (2004)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The structure and interpretation of the computer science curriculum. J. Funct. Program. 14 (4) (2004)
Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen
Validating the Unit Correctness of Spreadsheet Programs. ICSE (2004)
Matthias Felleisen
Welcome to the Educational Pearls Column. J. Funct. Program. 13 (5) (2003)
Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Modeling Web Interactions. ESOP (2003)
John Clements, Matthias Felleisen
A Tail-Recursive Semantics for Stack Inspections. ESOP (2003)
Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
DrScheme: a programming environment for Scheme. J. Funct. Program. 12 (2) (2002)
Matthias Felleisen
Developing Interactive Web Programs. Advanced Functional Programming (2002)
Robert Bruce Findler, Matthias Felleisen
Contracts for higher-order functions. ICFP (2002)
Mark Logan, Matthias Felleisen, David N. Blank-Edelman
Environmental Acquisition in Network Management. LISA (2002)

Matthias Felleisen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Felleisen