Type Inference Using Constraint Handling Rules

AuthID
P-007-D80
2
Author(s)
1
Editor(es)
Hanus M.
Tipo de Documento
Proceedings Paper
Year published
2002
Publicado
in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661
Volume: 64, Páginas: 59-75
Conference
Wflp 2002, International Workshop on Functional and (Constraint) Logic Programming, Selected Papers
Indexing
Publication Identifiers
DBLP: journals/entcs/AlvesF02
SCOPUS: 2-s2.0-18944403308
Source Identifiers
ISSN: 1571-0661
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.