Alberto Ciaffaglione
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2003–2018
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LPAR | The involutions-as-principal types/application-as-unification Analogy. | Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
| 2005 | FORTE | Proof Methodologies for Behavioural Equivalence in DPI. | Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke |
| 2003 | ICFP | Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
| 2003 | LPAR | Imperative Object-Based Calculi in Co-inductive Type Theories. | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |