Login / Signup

MLstruct: principal type inference in a Boolean algebra of structural types.

Lionel ParreauxChun 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