2016
Report
Unknown
Typed unification and pattern-matching in OCaml
Loddo J., Fouqueré C., Righi M., Russo D.
Ocaml Curry Non deterministc programming Unification Typed language
We provide in this paper the specification of a language that facilitates conversion between functional and logical data. We show that may be processed by a functional language as Ocaml at front-end, using this extended language. We present in particular the code generated in case of unification calls.
Source: ISTI Technical reports, 2016
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:359250,
title = {Typed unification and pattern-matching in OCaml},
author = {Loddo J. and Fouqueré C. and Righi M. and Russo D.},
institution = {ISTI Technical reports, 2016},
year = {2016}
}
0000-0002-1448-0960CNR ExploRA