Relational Analysis of Algebraic Datatypes

conference paper

•

Jackson, Daniel

2005

Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering

Name

KuncakJackson05RelationalAnalysisAlgebraicDatatypes.pdf

Access type

openaccess

Size

204.85 KB

Format

Adobe PDF

Checksum (MD5)

a01f63815a18b5aaf0fd03f854cdc1f7