General Terms

Cached

Download Links

by Ana Bove , Peter Dybjer , Andrés Sicard-ramírez

Active Bibliography

1042 A theory of type polymorphism in programming – Robin Milner - 1978
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
775 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
437 Cute: a concolic unit testing engine for c – Koushik Sen, Darko Marinov, Gul Agha - 2005
273 Semantic foundations of concurrent constraint programming – Vijay A. Saraswat, et al. - 1990
258 The Lazy Lambda Calculus – Samson Abramsky - 1990
248 Domain Theory in Logical Form – Samson Abramsky - 1991
234 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
230 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994