1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2025
Teaching Introductory Functional Programming Using Haskelite
Pedro Vasconcelos
Learning functional programming requires learning a substitution-based computational model. While substitution should be a familiar concept from high-school algebra, students often…
cs.PL2024★ 1 cited
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
Pedro Vasconcelos, Rodrigo Marques
Many Haskell textbooks explain the evaluation of pure functional programs as a process of stepwise rewriting using equations. However, usual implementation techniques perform progr…
cs.PL2024
Towards Algebraic Subtyping for Extensible Records
Rodrigo Marques, Mário Florido, Pedro Vasconcelos
MLsub is a minimal language with a type system combining subtyping and parametric polymorphism and a type inference algorithm which infers compact principal types. Simple-sub is an…