Download:
|
by Jens Palsberg, Jens Palsberg
Formal Aspects of Computing
http://www.brics.dk/RS/95/Ref/BRICS-RS-95-Ref/../../../../RS/95/33/BRICS-RS-95-33.ps.gz
Add To MetaCart
Abstract:
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS
Citations
|
303
|
Subtyping recursive types
– Amadio, Cardelli
- 1993
|
|
120
|
Type inference for record concatenation and multiple inheritance
– Wand
- 1989
|
|
104
|
Type inference with simple subtypes
– Mitchell
- 1991
|
|
87
|
A type system equivalent to flow analysis
– Palsberg, O’Keefe
- 1995
|
|
67
|
Coercion and type inference
– Mitchell
- 1984
|
|
61
|
Efficient inference of object types
– Palsberg
- 1995
|
|
60
|
Efficient inference of partial types
– Kozen, Palsberg, et al.
- 1994
|
|
48
|
Efficient recursive subtyping
– Kozen, Palsberg, et al.
- 1993
|
|
41
|
wpe inference with partial types
– Thatte
- 1988
|
|
35
|
Safety analysis versus type inference for partial types
– Palsberg, Schwartzbach
- 1992
|
|
26
|
Efficient recursive subtyping
– Kozen, Palsberg, et al.
- 1993
|
|
14
|
Automata for the _-calculus and related results
– Janin, Walukiewicz
|
|
9
|
An n log n Algorithm for Online BDD Refinement
– Klarlund
- 1995
|
|
8
|
Automata for the µ-calculus and related results
– Janin, Walukiewicz
- 1995
|
|
4
|
From Branching to Linear Metric Domains (and back
– Breugel
- 1995
|
|
4
|
Basic Action Theory
– Lassen
- 1995
|
|
4
|
Strong normalization with non-structural subtyping
– Wand, O'Keefe, et al.
- 1995
|
|
3
|
Aceto and Jan Friso Groote. A Complete Equational Axiomatization for MPA with String Iteration
– Luca
- 1995
|
|
3
|
Fich and Peter Bro Miltersen. Tables should be sorted (on random access machines
– Faith
- 1995
|
