Mario Coppo

Available identifiers

zbMath Open coppo.marioMaRDI QIDQ235602

List of research outcomes

Publication	Date of Publication	Type
Refinement types for program analysis	2022-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4993854	2021-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q5151035	2021-02-16	Paper
Data-driven adaptation for smart sessions	2017-07-04	Paper
Isomorphism of intersection and union types	2017-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q2968414	2017-03-13	Paper
A Gentle Introduction to Multiparty Asynchronous Session Types	2016-10-04	Paper
Partial and complete processes in multiparty sessions	2016-08-05	Paper
Global progress for dynamically interleaved multiparty sessions	2016-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q2843918	2013-08-27	Paper
A Fully Abstract Model for Mobile Ambients	2013-07-24	Paper
Simulation techniques for the calculus of wrapped compartments	2012-05-30	Paper
Theoretical Computer Science	2010-02-23	Paper
Amalgamating sessions and methods in object-oriented languages with generics	2009-03-02	Paper
Global Progress in Dynamically Interleaved Multiparty Sessions	2008-11-25	Paper
Types for ambient and process mobility	2008-04-10	Paper
Asynchronous Session Types and Progress for Object Oriented Languages	2007-11-28	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4673434	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4737001	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472544	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4448357	2004-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q2771055	2002-04-21	Paper
Strictness, totality, and non-standard-type inference	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4703040	1999-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4699353	1999-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4364386	1997-11-17	Paper
Principal types and unification for simple intersection type systems	1995-10-30	Paper
Type inference, abstract interpretation and strictness analysis	1994-02-22	Paper
Type inference with recursive types: Syntax and semantics	1991-01-01	Paper
Type theories, normal forms, and \(D_{\infty}\)-lambda-models	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3817572	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709890	1985-01-01	Paper
Completeness of type assignment in continuous lambda models	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3221961	1984-01-01	Paper
On the semantics of polymorphism	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3036694	1983-01-01	Paper
A filter lambda model and the completeness of type assignment	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3674034	1983-01-01	Paper
Functional Characters of Solvable Terms	1981-01-01	Paper
An extension of basic functionality theory for \(\lambda\)-calculus	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3893285	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4198724	1979-01-01	Paper
A new type assignment for λ-terms	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4159030	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4175261	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133598	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138712	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mario Coppo