Search for Author All Reviews
	Felleisen, Matthias     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 7 reviews       A programmable programming language Felleisen M., Findler R., Flatt M., Krishnamurthi S., Barzilay E., McCarthy J., Tobin-Hochstadt S. Communications of the ACM 61(3): 62-71, 2018.  Type: Article Despite its vague title, this article is actually a gentle presentation of the ideas behind the Racket language and ecosystem....... May 25 2018     Contracts for first-class classes Strickland T., Dimoulas C., Takikawa A., Felleisen M. ACM Transactions on Programming Languages and Systems 35(3): 1-58, 2013.  Type: Article Contracts are formal and verifiable specifications that extend traditional type definitions by including preconditions, postconditions, invariants, acceptable inputs and outputs, and other behavioral specifications [1]. These class-lev...... Jan 2 2014     Realm of Racket: learn to program, one game at a time! Felleisen M., Barski C., Van Horn D., Eight Students of Northeastern University ., No Starch Press, San Francisco, CA, 2013. 312 pp.  Type: Book (978-1-593274-91-7) Following the style of Conrad Barski’s Land of Lisp [1], the authors of this book use games to teach the concepts of the programming language Racket, which is a descendant of Lisp. Comics interleaved with the chapters ...... Sep 27 2013     Environmental acquisition revisited Cobbe R., Felleisen M.  Principles of programming languages (Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, California, USA, Jan 12-14, 2005) 14-25, 2005.  Type: Proceedings The design of a programming language is a difficult business. On one hand, it has to follow the design ideas of its main paradigm, and be a tool for solving all kinds of problems suited to that paradigm. On the other hand, there are cl...... Mar 21 2005     Behavioral contracts and behavioral subtyping Findler R., Latendresse M., Felleisen M.  Foundations of software engineering (Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT symposium, Vienna, Austria, 2001.  Type: Proceedings The topic of this paper is contracts in object-oriented languages, especially in languages with behavioral subtyping. The authors describe how problematic it can be to identify the offender in contract violations, and then offer a sug...... Jul 26 2002     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy