(1 - 13 from 15
)
Programming Languages and Systems | springerprofessional.de
www.springerprofessional.de
Relational Reasoning for Recursive Types and References. Nina Bohr, Lars Birkedal | OriginalPaper | Buchkapitel ...
sorted by relevance / date