Matthias Felleisen
Affiliations: | Rice University, Houston, TX |
Area:
Computer ScienceGoogle:
"Matthias Felleisen"Children
Sign in to add traineeShriram Krishnamurthi | grad student | ||
Matthew R. Flatt | grad student | 2000 | Rice University |
Robert B. Findler | grad student | 2002 | Rice University |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Caldwell S, Garnock-Jones T, Felleisen M. (2020) Typed dataspace actors Journal of Functional Programming. 30 |
Greenman BEN, Takikawa ASUMU, New MS, et al. (2019) How to evaluate the performance of gradual type systems Journal of Functional Programming. 29 |
Felleisen M, Findler RB, Flatt M, et al. (2018) A programmable programming language Communications of the Acm. 61: 62-71 |
Takikawa A, Feltey D, Greenman B, et al. (2016) Is sound gradual typing dead? Acm Sigplan Notices. 51: 456-468 |
Garnock-Jones T, Felleisen M. (2016) Coordinated concurrent programming in syndicate Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9632: 310-336 |
Felleisen M, Findler RB, Flatt M, et al. (2015) The racket manifesto Leibniz International Proceedings in Informatics, Lipics. 32: 113-128 |
Takikawa A, Feltey D, Dean E, et al. (2015) Towards practical gradual typing Leibniz International Proceedings in Informatics, Lipics. 37: 4-27 |
St-Amour V, Andersen L, Felleisen M. (2015) Feature-specific profiling Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9031: 49-68 |
Schanzer E, Fisler K, Krishnamurthi S, et al. (2015) Transferring skills at solving word problems from computing to algebra through bootstrap Sigcse 2015 - Proceedings of the 46th Acm Technical Symposium On Computer Science Education. 616-621 |
Chang S, Felleisen M. (2014) Profiling for laziness Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 349-360 |