Matthias Felleisen
Original record- Institution
- Indiana University
- Year
- 1987
- Country
- United States
- MGP identifier
- 8686
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 1
- Daniel Paul FriedmanUniversity of Texas at Austin · 1973
Students 24
| Name | Institution | Year | Students |
|---|---|---|---|
| Leif Andersen | Northeastern University | 2022 | 0 |
| Sam Caldwell | Northeastern University | 2023 | 0 |
| Stephen Chang | Northeastern University | 2014 | 0 |
| John Clements | Northeastern University | 2005 | 0 |
| Richard Cobbe | Northeastern University | 2008 | 0 |
| Ryan Culpepper | Northeastern University | 2010 | 0 |
| Christos Dimoulas | Northeastern University | 2012 | 0 |
| Carl Eastlund | Northeastern University | 2012 | 0 |
| Robert Bruce Findler | Rice University | 2001 | 3 |
| Cormac Flanagan | Rice University | 1997 | 8 |
| Matthew Flatt | Rice University | 1999 | 5 |
| Tony Garnock-Jones | Northeastern University | 2017 | 0 |
| Paul Graunke | Northeastern University | 2003 | 0 |
| Ben Greenman | Northeastern University | 2020 | 0 |
| Shriram Krishnamurthi | Rice University | 2000 | 6 |
| Philippe Meunier | Northeastern University | 2006 | 0 |
| Rebecca Parsons | Rice University | 1992 | 2 |
| Amr A. Sabry | Rice University | 1994 | 6 |
| Dorai Sitaram | Rice University | 1994 | 0 |
| Vincent St-Amour | Northeastern University | 2015 | 0 |
| Tharpe Stephen Strickland | Northeastern University | 2012 | 0 |
| Asumu Takikawa | Northeastern University | 2016 | 0 |
| Sam Tobin-Hochstadt | Northeastern University | 2010 | 2 |
| Andrew Wright | Rice University | 1994 | 0 |