489 search results - page 55 / 98 » Type classes as objects and implicits |
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
ITNG
2007
IEEE
14 years 2 months ago
2007
IEEE
The Super Iterator pattern, like the standard Iterator pattern, traverses an unknown data structure without exposing that structure. With the standard Iterator pattern, clients mu...
EVOW
2001
Springer
14 years 16 days ago
2001
Springer
This work presents a constructive approach to the process of fixing a sequence of meetings between teachers and students in a prefixed period of time, satisfying a set of constrain...
IJCAI
1989
13 years 9 months ago
1989
This paper introduces a partition of the possible forms of knowledge according to their rela tionship to the basic objective of an intelligent agent, namely to act successfully ...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...