Safe typing of functional logic programs with opaque patterns and local bindings
ISSN: 1090-2651, 0890-5401
Ano de publicación: 2014
Volume: 235
Páxinas: 36-69
Tipo: Artigo
ISSN: 1090-2651, 0890-5401
Ano de publicación: 2014
Volume: 235
Páxinas: 36-69
Tipo: Artigo