Publication:4222755
From MaRDI portal
zbMath0910.68143MaRDI QIDQ4222755
No author found.
Publication date: 10 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#eifrig
Related Items
Subtyping constrained types, Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types, Type inference and strong static type checking for Promela, Types and trace effects for object orientation, Semi-explicit first-class polymorphism for ML., Simplifying subtyping constraints: a theory, Type inference for variant object types, Non-structural subtype entailment in automata theory, Type-specialized staged programming with process separation, Type Inference using Constraint Handling Rules