3 papers
cs.PL2021
Zipping Strategies and Attribute Grammars
José Nuno Macedo, Marcos Viera, João Saraiva
Strategic term rewriting and attribute grammars are two powerful programming techniques widely used in language engineering. The former, relies on strategies to apply term rewrite…
cs.PL2021
A Gradual Type System for Elixir
Mauricio Cassola, Agustín Talagorria, Alberto Pardo +1
Elixir is a functional programming language with dynamic typing. We propose a gradual type system that makes it possible to perform type-checking on a significant fragment of the l…
cs.PL2016
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
Most type systems that support polymorphic functions are based on a version of System-F. We argue that this limits useful programming paradigms for languages with lazy evaluation.…