Kuncak, V. Relational analysis of algebraic datatypes. Software engineering notes..
Dyfyniad Arddull ChicagoKuncak, Viktor. "Relational Analysis of Algebraic Datatypes." Software Engineering Notes. .
Dyfyniad MLAKuncak, Viktor. "Relational Analysis of Algebraic Datatypes." Software Engineering Notes., .
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.