Type Inference Using Constraint Handling Rules

AuthID
P-007-D80
2
Author(s)
1
Editor(s)
Hanus M.
Document Type
Proceedings Paper
Year published
2002
Published
in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661
Volume: 64, Pages: 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
Marked List
Info
At this moment we don't have any links to full text documens.