Safe typing of functional logic programs with opaque patterns and local bindings
ISSN: 1090-2651, 0890-5401
Year of publication: 2014
Volume: 235
Pages: 36-69
Type: Article
ISSN: 1090-2651, 0890-5401
Year of publication: 2014
Volume: 235
Pages: 36-69
Type: Article