Typed and Monadic Constraint Handling Rules with Priorities and Disjunction

Alejandro Serrano, J. Hage

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Publication statusPublished - 31 Aug 2016
Event28th symposium on Implementation and Application of Functional Languages 2016 - Leuven, Belgium
Duration: 31 Aug 20162 Sept 2016

Conference

Conference28th symposium on Implementation and Application of Functional Languages 2016
Abbreviated titleIFL 2016
Country/TerritoryBelgium
CityLeuven
Period31/08/162/09/16

Cite this