Type inference with subtyping

info paper
, ,
1

[v1.9] simple-essence-algebraic-subtyping.pdf (716.5 KB)