1987
Type-checking mini-ML: an algebraic specification with user-defined syntax
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] | |
Hendriks, P. R. H. (1987). Type-checking mini-ML: an algebraic specification with user-defined syntax. Department of Computer Science [CS]. CWI. |