phyllis@utcsrgv.UUCP (Phyllis Eve Bregman) (05/01/84)
****
UofT Department of Computer Science Seminar Schedule for
the week of April 30th, 1984
******NOTE NEW TIME AND PLACE FOR AIT-KACI SEMINAR******
May 2nd, 3:00 P.M., SF3207, Hassan Ait-Kaci, Department of Computer
Science, University of Pennsylvania: "A new model of computation
based on a calculus of subsumption".
ABSTRACT: I present a design for a programming language based on a
calculus of type subsumption. A close analysis of the notion of
**term** in universal algebra and logic shows how the concept of
**subsumption** may be extended to bear more semantic power. I
propose a mathematical semantics for a particular language where
type structures are first-class objects and which can be practically
implemented. In this language computation amounts to type checking.
I point out possible connections of this model of computation with
logic. Finally, I describe further extensions in the language design
which can be given well-defined semantics without loss of the basic
language philosophy.
--
Phyllis Eve Bregman
CSRG, Univ. of Toronto
{decvax,linus,ihnp4,uw-beaver,allegra,utzoo}!utcsrgv!phyllis
CSNET: phyllis@toronto
(416) 978 6985