M
Matthias Felleisen
Researcher at Northeastern University
Publications - 195
Citations - 12950
Matthias Felleisen is an academic researcher from Northeastern University. The author has contributed to research in topics: Semantics (computer science) & Scheme (programming language). The author has an hindex of 58, co-authored 192 publications receiving 12468 citations. Previous affiliations of Matthias Felleisen include Carnegie Mellon University & Rice University.
Papers
More filters
Journal ArticleDOI
A Syntactic Approach to Type Soundness
TL;DR: A new approach to proving type soundness for Hindley/Milner-style polymorphic type systems by an adaptation of subject reduction theorems from combinatory logic to programming languages and the use of rewriting techniques for the specification of the language semantics is presented.
Proceedings ArticleDOI
The essence of compiling with continuations
TL;DR: The combined effect of the three phases is equivalent to a source-to-source transformation that simulates the compaction phase and fully developed CPS compilers do not need to employ the CPS transformation but can achieve the same results with a simple source-level transformation.
Journal ArticleDOI
The revised report on the syntactic theories of sequential control and state
Matthias Felleisen,Robert Hieb +1 more
TL;DR: This paper develops fully compatible equational theories of the same imperative higher-order programming languages that subsume the original calculi of control and state and satisfy the usual Church–Rosser and Standardization Theorems.
Proceedings ArticleDOI
Classes and mixins
TL;DR: A model of class-to-class functions that refers to as mixins is developed, which is an intuitive model of an essential Java subset; an extension that explains and models mixins; and type soundness theorems for these languages.
Proceedings ArticleDOI
Contracts for higher-order functions
TL;DR: This paper introduces λcon, a typed lambda calculus with assertions for higher-order functions, which models the assertion monitoring system that is employed in DrScheme and establishes basic properties of the model (type soundness, etc.).