Sciweavers

489 search results - page 42 / 98
» Type classes as objects and implicits
Sort
View
APLAS
2007
ACM
14 years 2 days ago
Translation Correctness for First-Order Object-Oriented Pattern Matching
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
Burak Emir, Qin Ma 0002, Martin Odersky
ECOOPWEXCEPTION
2000
Springer
13 years 11 months ago
A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...
Christophe Dony
ECOOP
2008
Springer
13 years 9 months ago
Extensible Universes for Object-Oriented Data Models
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
Achim D. Brucker, Burkhart Wolff
ENDM
2010
87views more  ENDM 2010»
13 years 8 months ago
Euler Complexes (Oiks)
We present a class of instances of the existence of a second object of a specified type, in fact, of an even number of objects of a specified type, which generalizes the existence...
Jack Edmonds
AAAI
1994
13 years 9 months ago
Visual Semantics: Extracting Visual information from Text Accompanying Pictures
This research explores the interaction of textual and photographic information in document understanding. The problem of performing generalpurpose vision without apriori knowledge...
Rohini K. Srihari, Debra T. Burhans