A lightweight combination of semantics for non-deterministic functions
Actes de conférence:
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
Année de publication: 2008
Pages: 52-61
Type: Communication dans un congrès