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.

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
Dimoulas C, Findler RB, Felleisen M. (2013) Option contracts Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 475-494
Takikawa A, Strickland TS, Dimoulas C, et al. (2012) Gradual typing for first-class classes ? Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 793-810
Klein C, Clements J, Dimoulas C, et al. (2012) Run your research: On the effectiveness of lightweight mechanization Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 285-296
Klein C, Clements J, Dimoulas C, et al. (2012) Run your research: On the effectiveness of lightweight mechanization Acm Sigplan Notices. 47: 285-296
St-Amour V, Tobin-Hochstadt S, Flatt M, et al. (2012) Typing the numeric tower Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7149: 289-303
Dimoulas C, Felleisen M. (2011) On contract satisfaction in a higher-order world Acm Transactions On Programming Languages and Systems. 33
Tobin-Hochstadt S, St-Amour V, Culpepper R, et al. (2011) Languages as libraries Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 132-141
Dimoulas C, Findler RB, Flanagan C, et al. (2010) Correct blame for contracts: No more scapegoating Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 215-226
See more...