Searching for "Type Extensions." – sorted by Relevance.
1,408 documents found, showing 1 through 10.
Next 10 →
-
Type extensions
- …Type Extensions N. WIRTH lnstitut fijr Informatik, ETH, Zurich Software systems represent a…
- Cited by 48 (4 self) – Add To MetaCart
-
On The Type Extensions Of Oberon-2
- …On the type extensions of Oberon-2 Libero Nigro Dipartimento di Elettronica, Informatica e…
- Cited by 1 (0 self) – Add To MetaCart
-
Refinement in a Type Extension Context
- …Refinement in a Type Extension Context Peter Bancroft Ian Hayes Queensland University…
- Cited by 1 (0 self) – Add To MetaCart
-
Type Extension and Efficient AST Manipulation
- …Type Extension and Efficient AST Manipulation K John Gough and Diane Corney Abstract Oberon-2…
- Cited by 1 (1 self) – Add To MetaCart
-
Advanced Type Extensions and Applications in Chameleon
- … Advanced Type Extensions and Applications in Chameleon Martin Sulzmann School of Computing…
- Add To MetaCart
-
A Formal Semantics for a Language with Type Extension
- …A Formal Semantics for a Language with Type Extension Peter Bancroft Ian Hayes Queensland…
- Cited by 2 (1 self) – Add To MetaCart
-
Mechanized metatheory for user-defined type extensions
- …Mechanized Metatheory for User-Defined Type Extensions Daniel Marino Brian Chin Todd Millstein…
- Cited by 4 (1 self) – Add To MetaCart
-
Type Extensibility of a Knowledge Representation System with Powersets
- …Type Extensibility of a Knowledge Representation System with Powersets C'ecile Capponi Projet…
- Cited by 2 (0 self) – Add To MetaCart
-
Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract)
- …, December 4-7, 1995. MIT Press. pp 83-97 Relationlog: A Typed Extension to Datalog with Sets and Tuples…
- Cited by 37 (25 self) – Add To MetaCart
-
Class and Type Hierarchies: Extension, Constraining, and Roles
- …Class and Type Hierarchies: Extension, Constraining, and Roles J#rgen Schlegelmilch Abstract…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
