Sound gradual typing: Only mostly dead, PACMPL, vol.1, p.54, 2017. ,
Understanding TypeScript, European Conference on Object-Oriented Programming, pp.257-281, 2014. ,
Practical optional types for Clojure, ESOP 2016, pp.68-94, 2016. ,
Covariance and controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers), Logical Methods in Computer Science, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02183397
Gradual typing with union and intersection types, PACMPL, vol.1, p.41, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01643309
Polymorphic functions with settheoretic types: Part 2: Local type inference and type reconstruction, POPL '15, vol.50, pp.289-302, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-00880744
Gradual typing: a new perspective, PACMPL, vol.3, p.16, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02183382
Proper tail recursion and space efficiency, PLDI '98, 1998. ,
, Facebook. Flow documentation
Hack documentation ,
Collapsible contracts: Fixing a pathology of gradual typing, PACMPL, vol.2, p.27, 2018. ,
Contracts for higher-order functions, ICFP '02, pp.48-59, 2002. ,
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types, Journal of the ACM (JACM), vol.55, issue.4, p.19, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00336120
Space-efficient manifest contracts, POPL '15, pp.181-194, 2015. ,
Dynamic typing: syntax and proof theory, Science of Computer Programming, vol.22, issue.3, pp.197-230, 1994. ,
Space-efficient gradual typing. Higher-Order and Symbolic Computation, vol.23, p.167, 2010. ,
Blame assignment for higher-order contracts with intersection and union, ICFP 2015, pp.375-386, 2015. ,
Toward efficient gradual typing for structural types via coercions, PLDI '19, 2019. ,
Language with a pluggable type system and optional runtime monitoring of type errors, Workshop on Scripts to Programs (STOP), 2011. ,
Safe & efficient gradual typing for TypeScript, POPL '15, pp.167-180, 2015. ,
Concrete types for TypeScript, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01239167
Interpretations of the gradually-typed lambda calculus, Workshop on Scheme and Functional Programming, pp.68-80, 2012. ,
Gradual typing for functional languages, Scheme and Functional Programming Workshop, vol.6, pp.81-92, 2006. ,
Gradual typing with unification-based inference, Symposium on Dynamic languages, p.7, 2008. ,
Threesomes, with and without blame, POPL 2010, pp.365-376, 2010. ,
Blame and coercion: together again for the first time, PLDI '15, pp.425-435, 2015. ,
Is sound gradual typing dead, POPL '16, pp.456-468, 2016. ,
Interlanguage migration: from scripts to programs, DSL '06, pp.964-974, 2006. ,
The design and implementation of Typed Scheme, POPL '08, pp.395-406, 2008. ,
Design and evaluation of gradual typing for Python, DSL '14, pp.45-56, 2014. ,