|
Search the dblp DataBase
Matthias Felleisen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba
Hygienic Macro Expansion. [Citation Graph (1, 0)][DBLP] LISP and Functional Programming, 1986, pp:151-161 [Conf]
- Matthias Felleisen, Daniel P. Friedman
A Calculus for Assignments in Higher-Order Languages. [Citation Graph (1, 0)][DBLP] POPL, 1987, pp:314-325 [Conf]
- Matthias Felleisen
Developing Interactive Web Programs. [Citation Graph (0, 0)][DBLP] Advanced Functional Programming, 2002, pp:100-128 [Conf]
- Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
Scheme with Classes, Mixins, and Traits. [Citation Graph (0, 0)][DBLP] APLAS, 2006, pp:270-289 [Conf]
- Matthias Felleisen, Robert Cartwright
Safety as a Metric. [Citation Graph (0, 0)][DBLP] CSEE&T, 1999, pp:129-131 [Conf]
- Matthias Felleisen
Functional Objects. [Citation Graph (0, 0)][DBLP] ECOOP, 2004, pp:267- [Conf]
- Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. [Citation Graph (0, 0)][DBLP] ECOOP, 2004, pp:364-388 [Conf]
- Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman
Synthesizing Object-Oriented and Functional Design to Promote Re-Use. [Citation Graph (0, 0)][DBLP] ECOOP, 1998, pp:91-113 [Conf]
- John Clements, Matthias Felleisen
A Tail-Recursive Semantics for Stack Inspections. [Citation Graph (0, 0)][DBLP] ESOP, 2003, pp:22-37 [Conf]
- John Clements, Matthew Flatt, Matthias Felleisen
Modeling an Algebraic Stepper. [Citation Graph (0, 0)][DBLP] ESOP, 2001, pp:320-334 [Conf]
- Matthias Felleisen
On the Expressive Power of Programming Languages. [Citation Graph (0, 0)][DBLP] ESOP, 1990, pp:134-151 [Conf]
- Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Modeling Web Interactions. [Citation Graph (0, 0)][DBLP] ESOP, 2003, pp:238-252 [Conf]
- Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen
Programming the Web with High-Level Programming Languages. [Citation Graph (0, 0)][DBLP] ESOP, 2001, pp:122-136 [Conf]
- Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen
Expressing Structural Properties as Language Constructs. [Citation Graph (0, 0)][DBLP] ESOP, 1999, pp:258-272 [Conf]
- J. Gregory Morrisett, Matthias Felleisen, Robert Harper
Abstract Models of Memory Management. [Citation Graph (0, 0)][DBLP] FPCA, 1995, pp:66-77 [Conf]
- Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba
From Macros to Reusable Generative Programming. [Citation Graph (0, 0)][DBLP] GCSE, 1999, pp:105-120 [Conf]
- Ryan Culpepper, Matthias Felleisen
Taming Macros. [Citation Graph (0, 0)][DBLP] GPCE, 2004, pp:225-243 [Conf]
- Robert Bruce Findler, Matthias Felleisen
Contracts for higher-order functions. [Citation Graph (0, 0)][DBLP] ICFP, 2002, pp:48-59 [Conf]
- Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). [Citation Graph (0, 0)][DBLP] ICFP, 1999, pp:138-147 [Conf]
- Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen
Continuations from generalized stack inspection. [Citation Graph (0, 0)][DBLP] ICFP, 2005, pp:216-227 [Conf]
- Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen
Validating the Unit Correctness of Spreadsheet Programs. [Citation Graph (0, 0)][DBLP] ICSE, 2004, pp:439-448 [Conf]
- Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
A Programmer's Reduction Semantics for Classes and Mixins. [Citation Graph (0, 0)][DBLP] Formal Syntax and Semantics of Java, 1999, pp:241-269 [Conf]
- Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Automatically Restructuring Programs for the We. [Citation Graph (0, 0)][DBLP] ASE, 2001, pp:211-222 [Conf]
- Matthias Felleisen
lambda-V-CS: An Extended lambda-Calculus for Scheme. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1988, pp:72-85 [Conf]
- Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1988, pp:52-62 [Conf]
- Amr Sabry, Matthias Felleisen
Reasoning About Programs in Continuation-Passing Style. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1992, pp:288-298 [Conf]
- Dorai Sitaram, Matthias Felleisen
Reasoning with Continuations II: Full Abstraction for Models of Control. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1990, pp:161-175 [Conf]
- Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba
Reasoning with Continuations [Citation Graph (0, 0)][DBLP] LICS, 1986, pp:131-141 [Conf]
- Mark Logan, Matthias Felleisen, David N. Blank-Edelman
Environmental Acquisition in Network Management. [Citation Graph (0, 0)][DBLP] LISA, 2002, pp:175-184 [Conf]
- Robert Bruce Findler, Matthias Felleisen
Contract Soundness for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP] OOPSLA, 2001, pp:1-15 [Conf]
- Sam Tobin-Hochstadt, Matthias Felleisen
Interlanguage migration: from scripts to programs. [Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2006, pp:964-974 [Conf]
- Matthias Felleisen, Daniel P. Friedman
A Reduction Semantics for Imperative Higher-Order Languages. [Citation Graph (0, 0)][DBLP] PARLE (2), 1987, pp:206-223 [Conf]
- Robert Cartwright, Matthias Felleisen
The Semantics of Program Dependence. [Citation Graph (0, 0)][DBLP] PLDI, 1989, pp:13-27 [Conf]
- Cormac Flanagan, Matthias Felleisen
Componential Set-Based Analysis. [Citation Graph (0, 0)][DBLP] PLDI, 1997, pp:235-248 [Conf]
- Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen
Static Debugging: Browsing the Web of Program Invariants. [Citation Graph (0, 0)][DBLP] PLDI, 1996, pp:23-32 [Conf]
- Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
The Essence of Compiling with Continuations. [Citation Graph (0, 0)][DBLP] PLDI, 1993, pp:237-247 [Conf]
- Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
The essence of compiling with continuations (with retrospective) [Citation Graph (0, 0)][DBLP] Best of PLDI, 1993, pp:502-514 [Conf]
- Matthew Flatt, Matthias Felleisen
Units: Cool Modules for HOT Languages. [Citation Graph (0, 0)][DBLP] PLDI, 1998, pp:236-248 [Conf]
- Amr Sabry, Matthias Felleisen
Is Continuation-Passing Useful for Data Flow Analysis? [Citation Graph (0, 0)][DBLP] PLDI, 1994, pp:1-12 [Conf]
- Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
DrScheme: A Pedagogic Programming Environment for Scheme. [Citation Graph (0, 0)][DBLP] PLILP, 1997, pp:369-388 [Conf]
- Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler
The Call-by-Need Lambda Calculus. [Citation Graph (0, 0)][DBLP] POPL, 1995, pp:233-246 [Conf]
- Robert Cartwright, Matthias Felleisen
Observable Sequentiality and Full Abstraction. [Citation Graph (0, 0)][DBLP] POPL, 1992, pp:328-342 [Conf]
- Erik Crank, Matthias Felleisen
Parameter-Passing and the Lambda Calculus. [Citation Graph (0, 0)][DBLP] POPL, 1991, pp:233-244 [Conf]
- Richard Cobbe, Matthias Felleisen
Environmental acquisition revisited. [Citation Graph (0, 0)][DBLP] POPL, 2005, pp:14-25 [Conf]
- Matthias Felleisen
From POPL to the classroom and back. [Citation Graph (0, 0)][DBLP] POPL, 2002, pp:126-127 [Conf]
- Matthias Felleisen
The Theory and Practice of First-Class Prompts. [Citation Graph (0, 0)][DBLP] POPL, 1988, pp:180-190 [Conf]
- Cormac Flanagan, Matthias Felleisen
The Semantics of Future and Its Use in Program Optimizations. [Citation Graph (0, 0)][DBLP] POPL, 1995, pp:209-220 [Conf]
- Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
Classes and Mixins. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:171-183 [Conf]
- Philippe Meunier, Robert Bruce Findler, Matthias Felleisen
Modular set-based analysis from contracts. [Citation Graph (0, 0)][DBLP] POPL, 2006, pp:218-231 [Conf]
- Dorai Sitaram, Matthias Felleisen
Modeling Continuations without Continuations. [Citation Graph (0, 0)][DBLP] POPL, 1991, pp:185-196 [Conf]
- Stephen Weeks, Matthias Felleisen
On the Orthogonality of Assignments and Procedures in Algol. [Citation Graph (0, 0)][DBLP] POPL, 1993, pp:57-70 [Conf]
- Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). [Citation Graph (0, 0)][DBLP] REX Workshop, 1992, pp:318-347 [Conf]
- Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] RTA, 2004, pp:301-311 [Conf]
- Robert Bruce Findler, Mario Latendresse, Matthias Felleisen
Behavioral contracts and behavioral subtyping. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 2001, pp:229-236 [Conf]
- Shriram Krishnamurthi, Matthias Felleisen
Toward a Formal Theory of Extensible Software. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 1998, pp:88-98 [Conf]
- Robert Cartwright, Matthias Felleisen
Extensible Denotational Language Specifications. [Citation Graph (0, 0)][DBLP] TACS, 1994, pp:244-272 [Conf]
- Dale Vaillancourt, Rex L. Page, Matthias Felleisen
ACL2 in DrScheme. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:107-116 [Conf]
- Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen
Automatically Restructuring Programs for the Web. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2004, v:11, n:4, pp:337-364 [Journal]
- Matthias Felleisen
Reflections on Landins's J-Operator: A Partly Historical Note. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1987, v:12, n:3/4, pp:197-207 [Journal]
- Matthias Felleisen, Daniel P. Friedman
A Closer Look at Export and Import Statements. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1986, v:11, n:1, pp:29-37 [Journal]
- Robert Cartwright, Matthias Felleisen
Program Verification Through Soft Typing. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1996, v:28, n:2, pp:349-351 [Journal]
- Matthew Flatt, Matthias Felleisen
Program Units as Higher-Order Modules. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
- Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen
Fully Abstract Semantics for Observably Sequential Languages [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:111, n:2, pp:297-401 [Journal]
- Andrew K. Wright, Matthias Felleisen
A Syntactic Approach to Type Soundness [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:115, n:1, pp:38-94 [Journal]
- Zena M. Ariola, Matthias Felleisen
The Call-By-Need lambda Calculus. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1997, v:7, n:3, pp:265-301 [Journal]
- Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The structure and interpretation of the computer science curriculum. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:4, pp:365-378 [Journal]
- Matthias Felleisen
Welcome to the Educational Pearls Column. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2003, v:13, n:5, pp:835-838 [Journal]
- Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
DrScheme: a programming environment for Scheme. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2002, v:12, n:2, pp:159-182 [Journal]
- Cormac Flanagan, Matthias Felleisen
The Semantics of Future and an Application. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1999, v:9, n:1, pp:1-31 [Journal]
- Matthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers
Editorial. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2005, v:18, n:3-4, pp:243-244 [Journal]
- Amr Sabry, Matthias Felleisen
Reasoning about Programs in Continuation-Passing Style. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1993, v:6, n:3-4, pp:289-360 [Journal]
- Dorai Sitaram, Matthias Felleisen
Control Delimiters and Their Hierarchies. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1990, v:3, n:1, pp:67-99 [Journal]
- Matthias Felleisen
On the Expressive Power of Programming Languages. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1991, v:17, n:1-3, pp:35-75 [Journal]
- Ron Cytron, Matthias Felleisen
SIGPLAN Response to the Ironman Draft of the Computing Curricula 2001. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 2001, v:36, n:4, pp:3-4 [Journal]
- Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The DrScheme Project: An Overview. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1998, v:33, n:6, pp:17-23 [Journal]
- Matthias Felleisen, Daniel P. Friedman
A Syntactic Theory of Sequential State. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1989, v:69, n:3, pp:243-287 [Journal]
- Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba
A Syntactic Theory of Sequential Control. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1987, v:52, n:, pp:205-237 [Journal]
- Matthias Felleisen, Robert Hieb
The Revised Report on the Syntactic Theories of Sequential Control and State. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:103, n:2, pp:235-271 [Journal]
- John Clements, Matthias Felleisen
A tail-recursive machine with stack inspection. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2004, v:26, n:6, pp:1029-1052 [Journal]
- Cormac Flanagan, Matthias Felleisen
Componential Set-Based Analysis. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1999, v:21, n:2, pp:370-416 [Journal]
- Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
Adding delimited and composable control to a production programming environment. [Citation Graph (0, 0)][DBLP] ICFP, 2007, pp:165-176 [Conf]
Practical Variable-Arity Polymorphism. [Citation Graph (, )][DBLP]
Debugging macros. [Citation Graph (, )][DBLP]
A functional I/O system or, fun for freshman kids. [Citation Graph (, )][DBLP]
Toward a Practical Module System for ACL2. [Citation Graph (, )][DBLP]
The design and implementation of typed scheme. [Citation Graph (, )][DBLP]
Making induction manifest in modular ACL2. [Citation Graph (, )][DBLP]
Future contracts. [Citation Graph (, )][DBLP]
Adding types to untyped languages. [Citation Graph (, )][DBLP]
Viewpoint - Why computer science doesn't matter. [Citation Graph (, )][DBLP]
Search in 0.009secs, Finished in 0.015secs
|