default search action
Matthias Felleisen
Person information
- affiliation: Northeastern University, Boston, USA
- award (2012): Programming Languages Achievement Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j51]Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman:
Type Tailoring (Artifact). Dagstuhl Artifacts Ser. 10(2): 24:1-24:2 (2024) - [j50]Cameron Moy, Christos Dimoulas, Matthias Felleisen:
Effectful Software Contracts. Proc. ACM Program. Lang. 8(POPL): 2639-2666 (2024) - [c103]Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman:
Type Tailoring. ECOOP 2024: 44:1-44:27 - [i8]Leif Andersen, Cameron Moy, Stephen Chang, Matthias Felleisen:
Making Hybrid Languages: A Recipe. CoRR abs/2403.01335 (2024) - 2023
- [j49]Cameron Moy, Matthias Felleisen:
Trace contracts. J. Funct. Program. 33 (2023) - [j48]Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas:
How to Evaluate Blame for Gradual Types, Part 2. Proc. ACM Program. Lang. 7(ICFP): 159-186 (2023) - [j47]Ben Greenman, Matthias Felleisen, Christos Dimoulas:
How Profilers Can Help Navigate Type Migration. Proc. ACM Program. Lang. 7(OOPSLA2): 544-573 (2023) - [j46]Ben Greenman, Christos Dimoulas, Matthias Felleisen:
Typed-Untyped Interactions: A Comparative Analysis. ACM Trans. Program. Lang. Syst. 45(1): 4:1-4:54 (2023) - [c102]Michael Ballantyne, Matthias Felleisen:
Injecting Language Workbench Technology into Mainstream Languages. Eelco Visser Commemorative Symposium 2023: 3:1-3:11 - 2022
- [j45]Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen:
A Transient Semantics for Typed Racket. Art Sci. Eng. Program. 6(2): 9 (2022) - 2021
- [j44]Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas:
How to evaluate blame for gradual types. Proc. ACM Program. Lang. 5(ICFP): 1-29 (2021) - [i7]Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen:
A Transient Semantics for Typed Racket. CoRR abs/2111.10411 (2021) - 2020
- [j43]Samuel Caldwell, Tony Garnock-Jones, Matthias Felleisen:
Typed dataspace actors. J. Funct. Program. 30: e27 (2020) - [j42]Leif Andersen, Michael Ballantyne, Matthias Felleisen:
Adding interactive visual syntax to textual code. Proc. ACM Program. Lang. 4(OOPSLA): 222:1-222:28 (2020) - [j41]Michael Ballantyne, Alexis King, Matthias Felleisen:
Macros for domain-specific languages. Proc. ACM Program. Lang. 4(OOPSLA): 229:1-229:29 (2020) - [i6]Leif Andersen, Michael Ballantyne, Matthias Felleisen:
Adding Interactive Visual Syntax to Textual Code. CoRR abs/2010.12695 (2020)
2010 – 2019
- 2019
- [j40]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: e4 (2019) - [j39]Ben Greenman, Matthias Felleisen, Christos Dimoulas:
Complete monitors for gradual types. Proc. ACM Program. Lang. 3(OOPSLA): 122:1-122:29 (2019) - [j38]Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen:
Feature-Specific Profiling. ACM Trans. Program. Lang. Syst. 41(1): 4:1-4:34 (2019) - [c101]Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi:
From Macros to DSLs: The Evolution of Racket. SNAPL 2019: 5:1-5:19 - 2018
- [j37]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): 62-71 (2018) - [j36]Ben Greenman, Matthias Felleisen:
A spectrum of type soundness and performance. Proc. ACM Program. Lang. 2(ICFP): 71:1-71:32 (2018) - [i5]Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen:
Feature-Specific Profiling. CoRR abs/1809.04151 (2018) - 2017
- [j35]Leif Andersen, Stephen Chang, Matthias Felleisen:
Super 8 languages for making movies (functional pearl). Proc. ACM Program. Lang. 1(ICFP): 30:1-30:29 (2017) - [c100]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: 17:1-17:17 - 2016
- [c99]Tony Garnock-Jones, Matthias Felleisen:
Coordinated Concurrent Programming in Syndicate. ESOP 2016: 310-336 - [c98]Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen:
Oh Lord, please don't let contracts be misunderstood (functional pearl). ICFP 2016: 117-131 - [c97]Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen:
Is sound gradual typing dead? POPL 2016: 456-468 - 2015
- [c96]Vincent St-Amour, Leif Andersen, Matthias Felleisen:
Feature-Specific Profiling. CC 2015: 49-68 - [c95]Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen:
Towards Practical Gradual Typing. ECOOP 2015: 4-27 - [c94]Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen:
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. SIGCSE 2015: 616-621 - [c93]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt:
The Racket Manifesto. SNAPL 2015: 113-128 - 2014
- [j34]Matthias Felleisen:
Editorial. J. Funct. Program. 24(6): 611 (2014) - [c92]Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen:
The Network as a Language Construct. ESOP 2014: 473-492 - [c91]Stephen Chang, Matthias Felleisen:
Profiling for laziness. POPL 2014: 349-360 - 2013
- [b6]Matthias Felleisen, David Van Horn, Conrad Barski:
Realm of Racket - Learn to Program, One Game at a Time! No Starch Press 2013, ISBN 978-1-59327-491-7, pp. I-XVIII, 1-294 - [j33]Robert Bruce Findler, Matthias Felleisen:
ICFP 2002: Contracts for higher-order functions. ACM SIGPLAN Notices 48(4S): 34-45 (2013) - [j32]T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen:
Contracts for First-Class Classes. ACM Trans. Program. Lang. Syst. 35(3): 11:1-11:58 (2013) - [c90]Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen:
Option contracts. OOPSLA 2013: 475-494 - [e3]Matthias Felleisen, Philippa Gardner:
Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Lecture Notes in Computer Science 7792, Springer 2013, ISBN 978-3-642-37035-9 [contents] - 2012
- [j31]Matthias Felleisen:
Editorial. J. Funct. Program. 22(3): 223-224 (2012) - [c89]Stephen Chang, Matthias Felleisen:
The Call-by-Need Lambda Calculus, Revisited. ESOP 2012: 128-147 - [c88]Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen:
Complete Monitors for Behavioral Contracts. ESOP 2012: 214-233 - [c87]Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen:
Optimization coaching: optimizers learn to communicate with programmers. OOPSLA 2012: 163-178 - [c86]Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen:
Gradual typing for first-class classes. OOPSLA 2012: 793-810 - [c85]Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen:
Typing the Numeric Tower. PADL 2012: 289-303 - [c84]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: 285-296 - [i4]Stephen Chang, Matthias Felleisen:
The Call-by-need Lambda Calculus, Revisited. CoRR abs/1201.3907 (2012) - 2011
- [j30]Christos Dimoulas, Matthias Felleisen:
On contract satisfaction in a higher-order world. ACM Trans. Program. Lang. Syst. 33(5): 16:1-16:29 (2011) - [c83]Matthias Felleisen:
Multilingual component programming in racket. GPCE 2011: 1-2 - [c82]Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen:
From Stack Traces to Lazy Rewriting Sequences. IFL 2011: 100-115 - [c81]Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen:
Languages as libraries. PLDI 2011: 132-141 - [c80]Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen:
Correct blame for contracts: no more scapegoating. POPL 2011: 215-226 - [c79]Matthias Felleisen:
TeachScheme! SIGCSE 2011: 1-2 - [i3]Sam Tobin-Hochstadt, Matthias Felleisen:
The Design and Implementation of Typed Scheme: From Scripts to Programs. CoRR abs/1106.2575 (2011) - [i2]Stephen Chang, John Clements, Eli Barzilay, Matthias Felleisen:
Stepping Lazy Programs. CoRR abs/1108.4706 (2011) - 2010
- [j29]Ryan Culpepper, Matthias Felleisen:
Debugging hygienic macros. Sci. Comput. Program. 75(7): 496-515 (2010) - [c78]T. Stephen Strickland, Matthias Felleisen:
Contracts for first-class classes. DLS 2010: 97-112 - [c77]Sam Tobin-Hochstadt, Matthias Felleisen:
Logical types for untyped languages. ICFP 2010: 117-128 - [c76]Matthias Felleisen:
TeachScheme!: a checkpoint. ICFP 2010: 129-130 - [c75]Ryan Culpepper, Matthias Felleisen:
Fortifying macros. ICFP 2010: 235-246 - [c74]Stephen Chang, David Van Horn, Matthias Felleisen:
Evaluating Call-by-Need on the Control Stack. Trends in Functional Programming 2010: 1-15 - [c73]Carl Eastlund, Matthias Felleisen:
Hygienic Macros for ACL2. Trends in Functional Programming 2010: 84-101 - [c72]Matthias Felleisen:
Adding types to untyped languages. TLDI 2010: 1-2 - [i1]Stephen Chang, David Van Horn, Matthias Felleisen:
Evaluating Call-By-Need on the Control Stack. CoRR abs/1009.3174 (2010)
2000 – 2009
- 2009
- [b5]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt:
Semantics Engineering with PLT Redex. MIT Press 2009, ISBN 978-0-262-06275-6, pp. I-XII, 1-502 - [j28]Matthias Felleisen, Shriram Krishnamurthi:
Viewpoint - Why computer science doesn't matter. Commun. ACM 52(7): 37-40 (2009) - [j27]Xavier Leroy, Matthias Felleisen:
Editorial. J. Funct. Program. 19(5): 489-490 (2009) - [c71]T. Stephen Strickland, Matthias Felleisen:
Contracts for first-class modules. DLS 2009: 27-38 - [c70]T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen:
Practical Variable-Arity Polymorphism. ESOP 2009: 32-46 - [c69]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58 - [c68]T. Stephen Strickland, Matthias Felleisen:
Nested and Dynamic Contract Boundaries. IFL 2009: 141-158 - [c67]Carl Eastlund, Matthias Felleisen:
Toward a Practical Module System for ACL2. PADL 2009: 46-60 - [c66]Carl Eastlund, Matthias Felleisen:
Making induction manifest in modular ACL2. PPDP 2009: 105-116 - [c65]Christos Dimoulas, Riccardo Pucella, Matthias Felleisen:
Future contracts. PPDP 2009: 195-206 - 2008
- [j26]Matthias Felleisen:
Why teach programming languages in this day and age and how to go about it. ACM SIGPLAN Notices 43(11): 59-61 (2008) - [c64]Rex L. Page, Carl Eastlund, Matthias Felleisen:
Functional programming and theorem proving for undergraduates: a progress report. FDPE@ICFP 2008: 21-30 - [c63]Sam Tobin-Hochstadt, Matthias Felleisen:
The design and implementation of typed scheme. POPL 2008: 395-406 - 2007
- [j25]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): 431-460 (2007) - [c62]Ryan Culpepper, Matthias Felleisen:
Debugging macros. GPCE 2007: 135-144 - [c61]Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen:
Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176 - [e2]Martin Hofmann, Matthias Felleisen:
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007. ACM 2007, ISBN 1-59593-575-4 [contents] - 2006
- [c60]Dale Vaillancourt, Rex L. Page, Matthias Felleisen:
ACL2 in DrScheme. ACL2 2006: 107-116 - [c59]Matthew Flatt, Robert Bruce Findler, Matthias Felleisen:
Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289 - [c58]Sam Tobin-Hochstadt, Matthias Felleisen:
Interlanguage migration: from scripts to programs. OOPSLA Companion 2006: 964-974 - [c57]Philippe Meunier, Robert Bruce Findler, Matthias Felleisen:
Modular set-based analysis from contracts. POPL 2006: 218-231 - 2005
- [j24]Matthias Felleisen, Julia Lawall, Manuel Serrano, Olin Shivers:
Editorial. High. Order Symb. Comput. 18(3-4): 243-244 (2005) - [c56]Matthias Felleisen:
How to design class hierarchies. FDPE@ICFP 2005: 1 - [c55]Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen:
Continuations from generalized stack inspection. ICFP 2005: 216-227 - [c54]Richard Cobbe, Matthias Felleisen:
Environmental acquisition revisited. POPL 2005: 14-25 - 2004
- [j23]Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen:
Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11(4): 337-364 (2004) - [j22]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
The TeachScheme! Project: Computing and Programming for Every Student. Comput. Sci. Educ. 14(1): 55-77 (2004) - [j21]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
The structure and interpretation of the computer science curriculum. J. Funct. Program. 14(4): 365-378 (2004) - [j20]John Clements, Matthias Felleisen:
A tail-recursive machine with stack inspection. ACM Trans. Program. Lang. Syst. 26(6): 1029-1052 (2004) - [c53]Matthias Felleisen:
Functional Objects. ECOOP 2004: 267 - [c52]Robert Bruce Findler, Matthew Flatt, Matthias Felleisen:
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388 - [c51]Ryan Culpepper, Matthias Felleisen:
Taming Macros. GPCE 2004: 225-243 - [c50]Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen:
Validating the Unit Correctness of Spreadsheet Programs. ICSE 2004: 439-448 - [c49]Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen:
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311 - 2003
- [j19]Matthias Felleisen:
Welcome to the Educational Pearls Column. J. Funct. Program. 13(5): 835-838 (2003) - [c48]John Clements, Matthias Felleisen:
A Tail-Recursive Semantics for Stack Inspections. ESOP 2003: 22-37 - [c47]Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen:
Modeling Web Interactions. ESOP 2003: 238-252 - 2002
- [j18]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): 159-182 (2002) - [c46]Matthias Felleisen:
Developing Interactive Web Programs. Advanced Functional Programming 2002: 100-128 - [c45]Robert Bruce Findler, Matthias Felleisen:
Contracts for higher-order functions. ICFP 2002: 48-59 - [c44]Mark Logan, Matthias Felleisen, David N. Blank-Edelman:
Environmental Acquisition in Network Management. LISA 2002: 175-184 - [c43]Matthias Felleisen:
From POPL to the classroom and back. POPL 2002: 126-127 - 2001
- [j17]Ron Cytron, Matthias Felleisen:
SIGPLAN Response to the Ironman Draft of the Computing Curricula 2001. ACM SIGPLAN Notices 36(4): 3-4 (2001) - [c42]Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen:
Programming the Web with High-Level Programming Languages. ESOP 2001: 122-136 - [c41]John Clements, Matthew Flatt, Matthias Felleisen:
Modeling an Algebraic Stepper. ESOP 2001: 320-334 - [c40]Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen:
Automatically Restructuring Programs for the We. ASE 2001: 211-222 - [c39]Robert Bruce Findler, Matthias Felleisen:
Contract Soundness for Object-Oriented Languages. OOPSLA 2001: 1-15 - [c38]Robert Bruce Findler, Mario Latendresse, Matthias Felleisen:
Behavioral contracts and behavioral subtyping. ESEC / SIGSOFT FSE 2001: 229-236 - 2000
- [j16]Matthias Felleisen:
Components and program analyses. ACM SIGSOFT Softw. Eng. Notes 25(1): 49-50 (2000)
1990 – 1999
- 1999
- [j15]Cormac Flanagan, Matthias Felleisen:
The Semantics of Future and an Application. J. Funct. Program. 9(1): 1-31 (1999) - [j14]Cormac Flanagan, Matthias Felleisen:
Componential Set-Based Analysis. ACM Trans. Program. Lang. Syst. 21(2): 370-416 (1999) - [c37]Matthias Felleisen, Robert Cartwright:
Safety as a Metric. CSEE&T 1999: 129-131 - [c36]Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen:
Expressing Structural Properties as Language Constructs. ESOP 1999: 258-272 - [c35]Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba:
From Macros to Reusable Generative Programming. GCSE 1999: 105-120 - [c34]Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen:
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). ICFP 1999: 138-147 - [c33]Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java 1999: 241-269 - 1998
- [j13]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
The DrScheme Project: An Overview. ACM SIGPLAN Notices 33(6): 17-23 (1998) - [c32]Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman:
Synthesizing Object-Oriented and Functional Design to Promote Re-Use. ECOOP 1998: 91-113 - [c31]Matthew Flatt, Matthias Felleisen:
Units: Cool Modules for HOT Languages. PLDI 1998: 236-248 - [c30]Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
Classes and Mixins. POPL 1998: 171-183 - [c29]Shriram Krishnamurthi, Matthias Felleisen:
Toward a Formal Theory of Extensible Software. SIGSOFT FSE 1998: 88-98 - [e1]