Concepedia

Author

Matthias Felleisen

Northeastern UniversityORCID

Also Known As

Ben Greenman, Felleisen, Matthias, M. FELLEISEN, M. Felleisen, MATTHIAS FELLEISEN, Matthias Felleisen

318

Publications

12.5K

Citations

60

H-Index

161

Concepts

All Affiliations

Northeastern UniversityRice UniversityUniversity of UtahNorthwestern UniversityIndiana University Bloomington
MF

About

Matthias Felleisen is an author at Northeastern University specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

48

93

7.7K

2

Language Studies

16

22

3K

3

Education

8

8

751

4

Business

4

4

140

5

Arts

1

1

31

Matthias Felleisen

×

109

Publications

10.4K

Citations

54

H-Index

YearCitations

A Syntactic Approach to Type Soundness

Andy Wright, Matthias Felleisen

Information and Computation

1994

1.1K

The essence of compiling with continuations

Cormac Flanagan, Amr Sabry, Bruce F. Duba,

1993

527

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

Matthias Felleisen, Robert Hieb

Theoretical Computer Science

1992

519

Classes and mixins

Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen

1998

459

Contracts for higher-order functions

Robert Bruce Findler, Matthias Felleisen

2002

438

The design and implementation of typed scheme

Sam Tobin-Hochstadt, Matthias Felleisen

2008

310

DrScheme: a programming environment for Scheme

Robert Bruce Findler, John Clements, Cormac Flanagan,

Journal of Functional Programming

2002

309

On the expressive power of programming languages

Matthias Felleisen

Science of Computer Programming

1991

300

The theory and practice of first-class prompts

Matthias Felleisen

1988

290

Hygienic macro expansion

Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen,

1986

277

Page 1