Searching for "On Typechecking B." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
On Typechecking B
- …On Typechecking B Antti-Juhani Kaijanaho University of Jyväskylä Department of Mathematical…
- Add To MetaCart
-
The essence of ESSENCE: A constraint language for specifying combinatorial problems
- … opera- tor, and a and b stand for any expression) defined as typeCheck (a ✷ b) env ↩→ apTypeRule ((typeCheck…
- Cited by 10 (1 self) – Add To MetaCart
-
Compiler Construction in Higher Order Logic Programming
- … A B) T :- typecheck A (S --> T), typecheck B S. typecheck (abs A) (S --> T) :- pi v\ (typecheck v…
- Cited by 10 (2 self) – Add To MetaCart
-
Evaluating Module Systems for Crosscutting Concerns
- …; for example, the Message class from the Base module (abbreviated B) is passed to the Typechecking module…
- Cited by 1 (1 self) – Add To MetaCart
-
Recursive Type Generativity
- ….u is bool, but we ought not know anything about X.A.t. Additionally,when typechecking B, we ought…
- Add To MetaCart
-
JOIN(X): Constraint-Based Type Inference for the Join-Calculus
- … has polymorphic recursion. These remarks show that typechecking in B(T ) is not necessarily…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 6.
