Matthias Felleisen

MathSciNet


Ph.D. Indiana University 1987 UnitedStates
Dissertation: The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages
Mathematics Subject Classification: 68—Computer science

Advisor: Daniel Paul Friedman

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Parsons, RebeccaRice University19922
Sabry, AmrRice University19941
Sitaram, DoraiRice University1994
Wright, AndrewRice University1994
Flanagan, CormacRice University19972
Flatt, MatthewRice University19995
Krishnamurthi, ShriramRice University20006
Findler, RobertRice University20013
Graunke, PaulNortheastern University2003
Clements, JohnNortheastern University2005
Meunier, PhilippeNortheastern University2006
Cobbe, RichardNortheastern University2008
Culpepper, RyanNortheastern University2010
Tobin-Hochstadt, SamNortheastern University20102
Dimoulas, ChristosNortheastern University2012
Eastlund, CarlNortheastern University2012
Strickland, TharpeNortheastern University2012
Chang, StephenNortheastern University2014
St-Amour, VincentNortheastern University2015
Takikawa, AsumuNortheastern University2016
Garnock-Jones, TonyNortheastern University2017
Greenman, BenNortheastern University2020

According to our current on-line database, Matthias Felleisen has 22 students and 43 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 8686 for the advisor ID.