24 citations · 52 across the 9 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2015
Several types of types in programming languages
Simone Martini
Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties.…
cs.PL2012★ 14 cited
On Constructor Rewrite Systems and the Lambda Calculus
Ugo Dal Lago, Simone Martini
We prove that orthogonal constructor term rewrite systems and lambda-calculus with weak (i.e., no reduction is allowed under the scope of a lambda-abstraction) call-by-value reduct…
cs.PL2009★ 1 cited
On Constructor Rewrite Systems and the Lambda-Calculus (Long Version)
Ugo Dal Lago, Simone Martini
We prove that orthogonal constructor term rewrite systems and lambda-calculus with weak (i.e., no reduction is allowed under the scope of a lambda-abstraction) call-by-value reduct…