Login / Signup
MLstruct: principal type inference in a Boolean algebra of structural types.
Lionel Parreaux
Chun Yin Chau
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
boolean algebra
constraint query languages
cardinality constraints
expert systems
energy minimization
theorem prover
grammatical inference