OCaml + XDuce (Q5501466)
From MaRDI portal
scientific article; zbMATH DE number 6469482
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | OCaml + XDuce |
scientific article; zbMATH DE number 6469482 |
Statements
OCaml + XDuce (English)
0 references
3 August 2015
0 references
CDuce
0 references
OCaml
0 references
XDuce
0 references
XML
0 references
regular expression types
0 references
type inference
0 references
