Ole I. Hougaard

  • Citations Per Year
Learn More
Languages based on variations of the lambda calculus are designed to permit the slick, uniication-based technique for type inference, which is by now a well-established discipline. Other widely used languages have been created less by design and more by coincidence and compromise. It seems therefore that the question of type inference for such languages(More)
We define a family of constraints over the domain of regular terms. This family is built by extending equality with general constraints over root labels. We say that the resulting constraints are hybrid. Under the assumption that these constraints are stable with respect to a partial ordering we give an efficient constraint solver for hybrid constraints. We(More)
  • 1