Loading...
conference paper
Relational Analysis of Algebraic Datatypes
2005
Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering
Loading...
Name
KuncakJackson05RelationalAnalysisAlgebraicDatatypes.pdf
Access type
openaccess
Size
204.85 KB
Format
Adobe PDF
Checksum (MD5)
a01f63815a18b5aaf0fd03f854cdc1f7