10 citations · 32 across the 10 of their papers we have counts for
Showing cs.PLShow 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.PL2009★ 5 cited
RPO, Second-order Contexts, and Lambda-calculus
Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
First, we extend Leifer-Milner RPO theory, by giving general conditions to obtain IPO labelled transition systems (and bisimilarities) with a reduced set of transitions, and possib…