David Espinosa. Language features for extensible programs. Available via http://www.cs.columbia.edu, October 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Semantic Lego - Espinosa (1995) (6 citations) Self-citation (Espinosa) (Correct)
.... latter two of which are hidden using a monad (bind is called handle) Their semantics employs object oriented techniques such as extensible products (for stores) extensible sums (for values) and self arguments (for interpreter composition) These techniques recall my earlier thesis proposals [Esp93a, Esp93b], although there was no direct connection. In general, it not surprising that Felleisen and Cartwright s system can be extended with stores and continuations, since they are already built in What is remarkable is amount of semantic cover up they employ to distract the reader from this obvious ....
....sums yields behavior such as (compute ( num 3) true) true which shows that monads are not the right tool for building extensible sums. 97 A. 4 Extensible sums and products Although extensible sums and products play little part in this thesis, they can build extensible systems (see [Esp93b]) demonstrate how category theory can aids language design, and capture the esssentials of object oriented programming. We consider types S = S 1 S 2 Delta Delta Delta P = P 1 Theta P 2 Theta Delta Delta Delta that can be extended either statically or dynamically. It doesn t matter ....
David Espinosa. Language features for extensible programs. Available via http://www.cs.columbia.edu, October 1993.
Semantic Lego - Espinosa (1995) (6 citations) Self-citation (Espinosa) (Correct)
.... two of which are hidden using a monad (bind is called handle) Their semantics employs object oriented techniques such as extensible products (for stores) extensible sums (for values) and self arguments (for interpreter composition) These techniques recall my earlier thesis proposals 89 [Esp93a, Esp93b], although there was no direct connection. In general, it not surprising that Felleisen and Cartwright s system can be extended with stores and continuations, since they are already included, in the guise of a resource administrator. The intuitive value of this abstraction remains to be seen. We ....
David Espinosa. Language features for extensible programs. See http://www.cs.columbia.edu, October 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC