Type Inference for Correspondence Types

Electronic Notes in Theoretical Computer Science 2009 Vol. 242; Iss. 3

Type Inference for Correspondence Types

Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
242
Year:
2009
Language:
english
Pages:
16
DOI:
10.1016/j.entcs.2009.07.079
File:
PDF, 326 KB
english, 2009
Conversion to is in progress
Conversion to is failed