Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury. Typing unmarshalling without marshalling types. In Peter Thiemann, Robby Bruce Findler, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. pages 287-298, ACM, 2012. [doi]
Abstract is missing.