Biblio

Export 19 results:
2015
Castagna G, Nguyễn K, Xu Z, Abate P.  2015.  Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction. POPL\,'15, 42nd ACM Symposium on Principles of Programming Languages. :289–302.
2014
2012
2011
2010
2009
2007
2006
2003
2002
2001