Concepedia

Matthias Felleisen

MF

Statistics

Publications

109

Citations

10.6K

H-Index

54

Active since

1986

Affiliations

Northeastern University(Current)

Rice University

University of Utah

Northwestern University

Indiana University Bloomington

Matthias Felleisen is an author at Northeastern University specializing in computer science, computing, and programming languages.

Publications per year

1986–2021

109

Publications

109

A Syntactic Approach to Type Soundness

Andy Wright, Matthias Felleisen · Information and Computation · 1994 · 1.1K citations

Language Studies, Computer Science, Linguistics +6

The essence of compiling with continuations

Cormac Flanagan, Amr Sabry, Bruce F. Duba et al. · 1993 · 533 citations

Computing, Computer Science, Compilers +14

The revised report on the syntactic theories of sequential control and state

Matthias Felleisen, Robert Hieb · Theoretical Computer Science · 1992 · 526 citations

Language Studies, Computer Science, Linguistics +15

Classes and mixins

Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen · 1998 · 491 citations · Full text

Computing, Computer Science, Programming Languages +16

Contracts for higher-order functions

Robert Bruce Findler, Matthias Felleisen · 2002 · 441 citations

Computing, Computer Science, Contracts +16

1–5 of 109