Matthias Felleisen

	2012
121		Stephen Chang, Matthias Felleisen: The Call-by-Need Lambda Calculus, Revisited. ESOP 2012: 128-147
120		Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen: Complete Monitors for Behavioral Contracts. ESOP 2012: 214-233
119		Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen: Typing the Numeric Tower. PADL 2012: 289-303
118		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
117		Stephen Chang, Matthias Felleisen: The Call-by-need Lambda Calculus, Revisited CoRR abs/1201.3907: (2012)
	2011
116		Matthias Felleisen: Multilingual component programming in racket. GPCE 2011: 1-2
115		Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen: Languages as libraries. PLDI 2011: 132-141
114		Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen: Correct blame for contracts: no more scapegoating. POPL 2011: 215-226
113		Matthias Felleisen: TeachScheme! SIGCSE 2011: 1-2
112		Christos Dimoulas, Matthias Felleisen: On contract satisfaction in a higher-order world. ACM Trans. Program. Lang. Syst. 33(5): 16 (2011)
111		Sam Tobin-Hochstadt, Matthias Felleisen: The Design and Implementation of Typed Scheme: From Scripts to Programs CoRR abs/1106.2575: (2011)
110		Stephen Chang, John Clements, Eli Barzilay, Matthias Felleisen: Stepping Lazy Programs CoRR abs/1108.4706: (2011)
	2010
109		T. Stephen Strickland, Matthias Felleisen: Contracts for first-class classes. DLS 2010: 97-112
108		Sam Tobin-Hochstadt, Matthias Felleisen: Logical types for untyped languages. ICFP 2010: 117-128
107		Matthias Felleisen: TeachScheme!: a checkpoint. ICFP 2010: 129-130
106		Ryan Culpepper, Matthias Felleisen: Fortifying macros. ICFP 2010: 235-246
105		Matthias Felleisen: Adding types to untyped languages. TLDI 2010: 1-2
104		Stephen Chang, David Van Horn, Matthias Felleisen: Evaluating Call-by-Need on the Control Stack. Trends in Functional Programming 2010: 1-15
103		Carl Eastlund, Matthias Felleisen: Hygienic Macros for ACL2. Trends in Functional Programming 2010: 84-101
102		Stephen Chang, David Van Horn, Matthias Felleisen: Evaluating Call-By-Need on the Control Stack CoRR abs/1009.3174: (2010)
101		Ryan Culpepper, Matthias Felleisen: Debugging hygienic macros. Sci. Comput. Program. 75(7): 496-515 (2010)
	2009
100		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt: Semantics Engineering with PLT Redex. MIT Press 2009: I-XII, 1-502
99		T. Stephen Strickland, Matthias Felleisen: Contracts for first-class modules. DLS 2009: 27-38
98		T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen: Practical Variable-Arity Polymorphism. ESOP 2009: 32-46
97		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58
96		Carl Eastlund, Matthias Felleisen: Toward a Practical Module System for ACL2. PADL 2009: 46-60
95		Carl Eastlund, Matthias Felleisen: Making induction manifest in modular ACL2. PPDP 2009: 105-116
94		Christos Dimoulas, Riccardo Pucella, Matthias Felleisen: Future contracts. PPDP 2009: 195-206
93		Matthias Felleisen, Shriram Krishnamurthi: Viewpoint - Why computer science doesn't matter. Commun. ACM 52(7): 37-40 (2009)
92		Xavier Leroy, Matthias Felleisen: Editorial. J. Funct. Program. 19(5): 489-490 (2009)
	2008
91		Sam Tobin-Hochstadt, Matthias Felleisen: The design and implementation of typed scheme. POPL 2008: 395-406
90		Matthias Felleisen: Why teach programming languages in this day and age and how to go about it. SIGPLAN Notices 43(11): 59-61 (2008)
	2007
89		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
88		Ryan Culpepper, Matthias Felleisen: Debugging macros. GPCE 2007: 135-144
87		Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen: Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176
86		Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen: Implementation and use of the PLT scheme Web server. Higher-Order and Symbolic Computation 20(4): 431-460 (2007)
	2006
85		Dale Vaillancourt, Rex L. Page, Matthias Felleisen: ACL2 in DrScheme. ACL2 2006: 107-116
84		Matthew Flatt, Robert Bruce Findler, Matthias Felleisen: Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289
83		Sam Tobin-Hochstadt, Matthias Felleisen: Interlanguage migration: from scripts to programs. OOPSLA Companion 2006: 964-974
82		Philippe Meunier, Robert Bruce Findler, Matthias Felleisen: Modular set-based analysis from contracts. POPL 2006: 218-231
	2005
81		Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen: Continuations from generalized stack inspection. ICFP 2005: 216-227
80		Richard Cobbe, Matthias Felleisen: Environmental acquisition revisited. POPL 2005: 14-25
79		Matthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers: Editorial. Higher-Order and Symbolic Computation 18(3-4): 243-244 (2005)
	2004
78		Matthias Felleisen: Functional Objects. ECOOP 2004: 267
77		Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388
76		Ryan Culpepper, Matthias Felleisen: Taming Macros. GPCE 2004: 225-243
75		Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen: Validating the Unit Correctness of Spreadsheet Programs. ICSE 2004: 439-448
74		Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311
73		John Clements, Matthias Felleisen: A tail-recursive machine with stack inspection. ACM Trans. Program. Lang. Syst. 26(6): 1029-1052 (2004)
72		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)
71		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)
	2003
70		John Clements, Matthias Felleisen: A Tail-Recursive Semantics for Stack Inspections. ESOP 2003: 22-37
69		Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Modeling Web Interactions. ESOP 2003: 238-252
68		Matthias Felleisen: Welcome to the Educational Pearls Column. J. Funct. Program. 13(5): 835-838 (2003)
	2002
67		Matthias Felleisen: Developing Interactive Web Programs. Advanced Functional Programming 2002: 100-128
66		Robert Bruce Findler, Matthias Felleisen: Contracts for higher-order functions. ICFP 2002: 48-59
65		Mark Logan, Matthias Felleisen, David N. Blank-Edelman: Environmental Acquisition in Network Management. LISA 2002: 175-184
64		Matthias Felleisen: From POPL to the classroom and back. POPL 2002: 126-127
63		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)
	2001
62		Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Automatically Restructuring Programs for the We. ASE 2001: 211-222
61		Robert Bruce Findler, Mario Latendresse, Matthias Felleisen: Behavioral contracts and behavioral subtyping. ESEC / SIGSOFT FSE 2001: 229-236
60		Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen: Programming the Web with High-Level Programming Languages. ESOP 2001: 122-136
59		John Clements, Matthew Flatt, Matthias Felleisen: Modeling an Algebraic Stepper. ESOP 2001: 320-334
58		Robert Bruce Findler, Matthias Felleisen: Contract Soundness for Object-Oriented Languages. OOPSLA 2001: 1-15
57		Ron Cytron, Matthias Felleisen: SIGPLAN Response to the Ironman Draft of the Computing Curricula 2001. SIGPLAN Notices 36(4): 3-4 (2001)
	1999
56		Matthias Felleisen, Robert Cartwright: Safety as a Metric. CSEE&T 1999: 129-131
55		Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen: Expressing Structural Properties as Language Constructs. ESOP 1999: 258-272
54		Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java 1999: 241-269
53		Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba: From Macros to Reusable Generative Programming. GCSE 1999: 105-120
52		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
51		Cormac Flanagan, Matthias Felleisen: Componential Set-Based Analysis. ACM Trans. Program. Lang. Syst. 21(2): 370-416 (1999)
50		Cormac Flanagan, Matthias Felleisen: The Semantics of Future and an Application. J. Funct. Program. 9(1): 1-31 (1999)
	1998
49		Matthias Felleisen, Paul Hudak, Christian Queinnec: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998. ACM 1998
48		Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman: Synthesizing Object-Oriented and Functional Design to Promote Re-Use. ECOOP 1998: 91-113
47		Matthew Flatt, Matthias Felleisen: Units: Cool Modules for HOT Languages. PLDI 1998: 236-248
46		Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: Classes and Mixins. POPL 1998: 171-183
45		Shriram Krishnamurthi, Matthias Felleisen: Toward a Formal Theory of Extensible Software. SIGSOFT FSE 1998: 88-98
44		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The DrScheme Project: An Overview. SIGPLAN Notices 33(6): 17-23 (1998)
	1997
43		Cormac Flanagan, Matthias Felleisen: Componential Set-Based Analysis. PLDI 1997: 235-248
42		Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388
41		Matthew Flatt, Matthias Felleisen: Program Units as Higher-Order Modules. Electr. Notes Theor. Comput. Sci. 10: 204-229 (1997)
40		Zena M. Ariola, Matthias Felleisen: The Call-By-Need lambda Calculus. J. Funct. Program. 7(3): 265-301 (1997)
	1996
39		Daniel P. Friedman, Matthias Felleisen: The little schemer (4. ed.). MIT Press 1996: I-XIII, 1-196
38		Daniel P. Friedman, Matthias Felleisen: The seasoned schemer. MIT Press 1996: I-XIII, 1-210
37		Matthias Felleisen, Daniel P. Friedman: A little Java, a few patterns. MIT Press 1996: I-XIV, 1-179
36		Matthias Felleisen, Daniel P. Friedman: The little MLer. MIT Press 1996: I-XVI, 1-181
35		Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen: Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32
34		Robert Cartwright, Matthias Felleisen: Program Verification Through Soft Typing. ACM Comput. Surv. 28(2): 349-351 (1996)
	1995
33		J. Gregory Morrisett, Matthias Felleisen, Robert Harper: Abstract Models of Memory Management. FPCA 1995: 66-77
32		Cormac Flanagan, Matthias Felleisen: The Semantics of Future and Its Use in Program Optimizations. POPL 1995: 209-220
31		Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler: The Call-by-Need Lambda Calculus. POPL 1995: 233-246
	1994
30		Amr Sabry, Matthias Felleisen: Is Continuation-Passing Useful for Data Flow Analysis? PLDI 1994: 1-12
29		Robert Cartwright, Matthias Felleisen: Extensible Denotational Language Specifications. TACS 1994: 244-272
28		Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen: Fully Abstract Semantics for Observably Sequential Languages Inf. Comput. 111(2): 297-401 (1994)
27		Andrew K. Wright, Matthias Felleisen: A Syntactic Approach to Type Soundness Inf. Comput. 115(1): 38-94 (1994)
	1993
26		Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen: The essence of compiling with continuations (with retrospective) Best of PLDI 1993: 502-514
25		Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen: The Essence of Compiling with Continuations. PLDI 1993: 237-247
24		Stephen Weeks, Matthias Felleisen: On the Orthogonality of Assignments and Procedures in Algol. POPL 1993: 57-70
23		Amr Sabry, Matthias Felleisen: Reasoning about Programs in Continuation-Passing Style. Lisp and Symbolic Computation 6(3-4): 289-360 (1993)
	1992
22		Amr Sabry, Matthias Felleisen: Reasoning About Programs in Continuation-Passing Style. LISP and Functional Programming 1992: 288-298
21		Robert Cartwright, Matthias Felleisen: Observable Sequentiality and Full Abstraction. POPL 1992: 328-342
20		Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen: SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). REX Workshop 1992: 318-347
19		Matthias Felleisen, Robert Hieb: The Revised Report on the Syntactic Theories of Sequential Control and State. Theor. Comput. Sci. 103(2): 235-271 (1992)
	1991
18		Dorai Sitaram, Matthias Felleisen: Modeling Continuations without Continuations. POPL 1991: 185-196
17		Erik Crank, Matthias Felleisen: Parameter-Passing and the Lambda Calculus. POPL 1991: 233-244
16		Matthias Felleisen: On the Expressive Power of Programming Languages. Sci. Comput. Program. 17(1-3): 35-75 (1991)
	1990
15		Matthias Felleisen: On the Expressive Power of Programming Languages. ESOP 1990: 134-151
14		Dorai Sitaram, Matthias Felleisen: Reasoning with Continuations II: Full Abstraction for Models of Control. LISP and Functional Programming 1990: 161-175
13		Dorai Sitaram, Matthias Felleisen: Control Delimiters and Their Hierarchies. Lisp and Symbolic Computation 3(1): 67-99 (1990)
	1989
12		Robert Cartwright, Matthias Felleisen: The Semantics of Program Dependence. PLDI 1989: 13-27
11		Matthias Felleisen, Daniel P. Friedman: A Syntactic Theory of Sequential State. Theor. Comput. Sci. 69(3): 243-287 (1989)
	1988
10		Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba: Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. LISP and Functional Programming 1988: 52-62
9		Matthias Felleisen: lambda-V-CS: An Extended lambda-Calculus for Scheme. LISP and Functional Programming 1988: 72-85
8		Matthias Felleisen: The Theory and Practice of First-Class Prompts. POPL 1988: 180-190
	1987
7		Matthias Felleisen, Daniel P. Friedman: A Reduction Semantics for Imperative Higher-Order Languages. PARLE (2) 1987: 206-223
6		Matthias Felleisen, Daniel P. Friedman: A Calculus for Assignments in Higher-Order Languages. POPL 1987: 314-325
5		Matthias Felleisen: Reflections on Landins's J-Operator: A Partly Historical Note. Comput. Lang. 12(3/4): 197-207 (1987)
4		Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba: A Syntactic Theory of Sequential Control. Theor. Comput. Sci. 52: 205-237 (1987)
	1986
3		Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba: Reasoning with Continuations LICS 1986: 131-141
2		Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba: Hygienic Macro Expansion. LISP and Functional Programming 1986: 151-161
1		Matthias Felleisen, Daniel P. Friedman: A Closer Look at Export and Import Statements. Comput. Lang. 11(1): 29-37 (1986)

Coauthor Index

1	Tudor Antoniu	[75]
2	Zena M. Ariola	[31] [40]
3	Eli Barzilay	[110]
4	David N. Blank-Edelman	[65]
5	Robert Cartwright	[12] [20] [21] [28] [29] [34] [56]
6	Stephen Chang	[102] [104] [110] [117] [121]
7	John Clements	[59] [63] [70] [73] [81] [110] [118]
8	Richard Cobbe	[80]
9	Erik Crank	[17]
10	Ryan Culpepper	[76] [88] [101] [106] [115]
11	Pierre-Louis Curien	[28]
12	Ron Cytron (Ron K. Cytron)	[57]
13	Christos Dimoulas	[94] [112] [114] [118] [120]
14	Bruce F. Duba	[2] [3] [4] [10] [25] [26] [53]
15	Carl Eastlund	[95] [96] [103] [118]
16	Yan-David Erlich	[55]
17	Robert Bruce Findler	[42] [44] [52] [58] [61] [62] [63] [66] [69] [71] [72] [74] [77] [82] [84] [87] [97] [100] [114] [118]
18	Cormac Flanagan	[25] [26] [32] [35] [42] [43] [50] [51] [63] [114]
19	Matthew Flatt	[35] [41] [42] [44] [46] [47] [52] [54] [59] [63] [71] [74] [77] [84] [87] [97] [100] [115] [118] [119]
20	Daniel P. Friedman	[1] [2] [3] [4] [6] [7] [10] [11] [36] [37] [38] [39] [48]
21	Paul T. Graunke	[60] [62] [69] [72] [86]
22	Robert Harper	[33]
23	Robert Hieb	[19]
24	Steve Van Der Hoeven	[60]
25	Martin Hofmann	[89]
26	Peter Walton Hopkins	[86]
27	David Van Horn	[102] [104]
28	Paul Hudak	[49]
29	Ramarao Kanneganti	[20]
30	Casey Klein	[118]
31	Eugene E. Kohlbecker	[2] [3] [4]
32	Shriram Krishnamurthi	[35] [42] [44] [45] [46] [48] [52] [53] [54] [55] [60] [62] [63] [69] [71] [72] [75] [81] [86] [93] [97]
33	Mario Latendresse	[61]
34	Julia L. Lawall	[79]
35	Xavier Leroy	[92]
36	Mark Logan	[65]
37	John Maraist	[31]
38	Joe Marshall	[81]
39	Jacob Matthews	[72] [74]
40	Jay A. McCarthy	[86] [118]
41	Philippe Meunier	[82]
42	J. Gregory Morrisett (Greg Morrisett)	[33]
43	Erich Neuwirth	[75]
44	Martin Odersky	[31]
45	Rex L. Page	[85]
46	Greg Pettyjohn	[81] [86]
47	Riccardo Pucella	[94]
48	Christian Queinnec	[49]
49	Jon Rafkind	[118]
50	Amr Sabry	[22] [23] [25] [26] [30]
51	Manuel Serrano	[79]
52	Olin Shivers	[79]
53	Dorai Sitaram	[13] [14] [18]
54	Vincent St-Amour	[115] [119]
55	Paul Steckler	[63]
56	Paul A. Steckler	[75]
57	T. Stephen Strickland	[98] [99] [109]
58	Sam Tobin-Hochstadt	[83] [91] [98] [108] [111] [115] [118] [119] [120]
59	Dale Vaillancourt	[85]
60	Philip Wadler	[31]
61	Mitchell Wand	[10]
62	Stephen Weeks	[24]
63	Stephanie Weirich	[35]
64	Andrew K. Wright	[27]
65	Gang Yu	[87]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page