Publisher
Springer International Publishing
Reference33 articles.
1. Lecture Notes in Computer Science;JF Belo,2011
2. Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-centric general-purpose language. In: Proceedings of ICFP, pp. 51–63 (2003)
3. Castagna, G., Lanvin, V.: Gradual typing with union and intersection types. PACMPL 1(ICFP), 41:1–41:28 (2017)
4. Castagna, G., Lanvin, V., Petrucciani, T., Siek, J.G.: Gradual typing: a new perspective. Proc. ACM Program. Lang. 3(POPL), 16:1–16:32 (2019)
5. Charguéraud, A.: The locally nameless representation. J. Autom. Reasoning 49(3), 363–408 (2012)