Furio Honsell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
12
Active years
1987–2026
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | Lambda Galore. | Mariangiola Dezani-Ciancaglini, Besik Dundua, Furio Honsell |
| 2025 | FSCD | Unsolvable Terms in Filter Models (Invited Talk). | Mariangiola Dezani-Ciancaglini, Paola Giannini, Furio Honsell |
| 2022 | FSCD | On Quantitative Algebraic Higher-Order Theories. | Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone |
| 2018 | LPAR | The involutions-as-principal types/application-as-unification Analogy. | Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
| 2016 | APLAS | Implementing Cantor's Paradise. | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
| 2014 | MFCS | L ax F: Side Conditions and External Evidence as Monads. | Furio Honsell, Luigi Liquori, Ivan Scagnetto |
| 2012 | MFCS | Categories of Coalgebraic Games. | Furio Honsell, Marina Lenisa, Rekha Redamalla |
| 2009 | CALCO | Conway Games, Coalgebraically. | Furio Honsell, Marina Lenisa |
| 2008 | FOSSACS | RPO, Second-Order Contexts, and lambda-Calculus. | Pietro Di Gianantonio, Furio Honsell, Marina Lenisa |
| 2008 | LPAR | A Conditional Logical Framework. | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
| 2005 | ICFP | Translating specifications from nominal logic to CIC with the theory of contexts. | Marino Miculan, Ivan Scagnetto, Furio Honsell |
| 2003 | LPAR | Strict Geometry of Interaction Graph Models. | Furio Honsell, Marina Lenisa, Rekha Redamalla |
| 2001 | ICALP | An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. | Furio Honsell, Marino Miculan, Ivan Scagnetto |
| 2000 | FOSSACS | Constructive Data Refinement in Typed Lambda Calculus. | Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki |
| 2000 | ICALP | A Complete Characterization of the Complete Intersection-Type Theories. | Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi |
| 2000 | MFCS | Compositional Characterizations of lambda-Terms Using Intersection Types. | Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama |
| 1999 | CSL | Pre-logical Relations. | Furio Honsell, Donald Sannella |
| 1998 | OOPSLA | A Lambda Calculus of Objects with Self-Inflicted Extension. | Pietro Di Gianantonio, Furio Honsell, Luigi Liquori |
| 1994 | CONCUR | Countable Non-Determinism and Uncountable Limits. | Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin |
| 1994 | MFCS | Processes and Hyperuniverses. | Michael Forti, Furio Honsell, Marina Lenisa |
| 1993 | LICS | A lambda calculus of objects and method specialization | John C. Mitchell, Furio Honsell, Kathleen Fisher |
| 1993 | MFCS | Some Results on the Full Abstraction Problem for Restricted Lambda Calculi. | Furio Honsell, Marina Lenisa |
| 1992 | CSL | A Theory of Classes for a Functional Language with Effects. | Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1991 | MFCS | The lazy call-by-value Lamda-Calculus. | Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca |
| 1987 | LICS | A Framework for Defining Logics | Robert Harper, Furio Honsell, Gordon D. Plotkin |