diff -r 160040af338e -r cea9026a022d publications.html
--- a/publications.html Thu Nov 03 01:41:20 2011 +0000
+++ b/publications.html Wed Nov 16 12:26:37 2011 +0000
@@ -130,7 +130,11 @@
(with Kaliszyk) In Proceedings of the ACM Symposium on Applied
Computing (SAC 2011), Software Verification and Testing track,
Pages 1639-1644.
- [pdf]
+ [pdf]
+
+ (We silently assume in this paper to only lift from types that have
+ covariant type-constructors. Many thanks to Ondřej Kunčar,
+ who pointed this out.)
@@ -445,7 +449,7 @@
-Last modified: Thu Nov 3 01:37:01 GMT 2011 +Last modified: Wed Nov 16 12:25:55 GMT 2011 [Validate this page.]