Robert van Gent

Learn More
Over the last several years, much interesting work has been done in modelling object-oriented programming languages in terms of extensions of the bounded second-order lambda calculus, F. Unfortunately , it has recently been shown by Pierce ((Pie92]) that type checking F is undecidable. Moreover, he showed that the undecidability arises in the seemingly(More)
PolyTOIL is a new statically typed polymorphic object-oriented programming language that is provably typesafe. By separating the definitions of subtyping and inheritance, providing a name for the type of self, and carefully defining the type-checking rules, we have obtained a language that is very expressive while supporting modular type-checking of(More)
Personality is the set of psychological traits that uniquely characterize an individual. Personality distinguishes each individual from all others and colors his or her behavior in a pervasive and recognizable fashion. It is a persistent phenomenon that changes little and slowly, if at all, over time. Personality makes people fascinating to one another. We(More)
Intelligent agents in the form of personable characters interact with and serve human customers. Like their human counterparts in the real world, interactive characters will soon play helpful roles, enabling customers of Web enterprises to do the things they go to Web sites to do. They will make it easy for people to interact with them through natural forms(More)
Directed improvisation is a new paradigm for multiagent interaction. One or more human users direct one or more computer characters with scripted or interactive directions. The characters work together to improvise a course of behavior that follows the directions, expresses their distinctive individual styles, honors social conventions, and meets other(More)
  • 1