Safe typing of functional logic programs with opaque patterns and local bindings
ISSN: 1090-2651, 0890-5401
Any de publicació: 2014
Volum: 235
Pàgines: 36-69
Tipus: Article
ISSN: 1090-2651, 0890-5401
Any de publicació: 2014
Volum: 235
Pàgines: 36-69
Tipus: Article