Author:
Bautista Santiago,Jensen Thomas,Montagu Benoît
Publisher
Springer Science and Business Media LLC
Reference65 articles.
1. Pierce BC (2002) Types and programming languages. The MIT Press, Cambridge
2. Pierce B (2005) Advanced topics in types and programming languages. The MIT Press, Cambridge
3. Comon H, Dauchet M, Gilleron R, Jacquemard F, Lugiez D, Löding C, Tison S, Tommasi M (2008) Tree automata techniques and applications. https://hal.inria.fr/hal-03367725
4. Kobayashi N, Tabuchi N, Unno H (2010) Higher-order multi-parameter tree transducers and recursion schemes for program verification. In: POPL. https://doi.org/10.1145/1706299.1706355
5. Ong C-L, Ramsay SJ (2011) Verifying higher-order functional programs with pattern-matching algebraic data types. In: POPL. https://doi.org/10.1145/1926385.1926453