Matthias Felleisen

Publications by Year

Research Areas

Logic, programming, and type systems, Software Engineering Research, Formal Methods in Verification, Parallel Computing and Optimization Techniques, Advanced Software Engineering Methodologies

Most-Cited Works

• → A Syntactic Approach to Type Soundness(1994)1,125 cited
• → The essence of compiling with continuations(1993)527 cited
• → The revised report on the syntactic theories of sequential control and state(1992)519 cited
• → Classes and mixins(1998)490 cited
• → Contracts for higher-order functions(2002)438 cited
• → DrScheme: a programming environment for Scheme(2002)340 cited
• → The design and implementation of typed scheme(2008)310 cited
• → Hygienic macro expansion(1986)308 cited
• → On the expressive power of programming languages(1991)301 cited
• → The theory and practice of first-class prompts(1988)290 cited