Matthias Felleisen

Affiliations: 
Rice University, Houston, TX 
Area:
Computer Science
Google:
"Matthias Felleisen"
BETA: Related publications

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.

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
Garnock-Jones T, Tobin-Hochstadt S, Felleisen M. (2014) The network as a language construct Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8410: 473-492
See more...