Searching for "Type Extensions." – sorted by Relevance.
-
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

