10 citations · 12 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
A prototype-based approach to object reclassification
Ciaffaglione Alberto, Di Gianantonio Pietro, Honsell Furio +1
We investigate, in the context of functional prototype-based lan- guages, a calculus of objects which might extend themselves upon receiving a message, a capability referred to by…
cs.LO2018
The Delta-calculus: syntax and types
Luigi Liquori, Claude Stolze
We present the Delta-calculus, an explicitly typed lambda-calculus with strong pairs, projections and explicit type coercions. The calculus can be parametrized with different inter…