Viviana Bono

Available identifiers

zbMath Open bono.vivianaWikidataQ102300920 ScholiaQ102300920MaRDI QIDQ553897

List of research outcomes

Publication	Date of Publication	Type
Soundness Conditions for Big-Step Semantics	2022-10-13	Paper
A tale of intersection types	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4585064	2018-09-06	Paper
Data-driven adaptation for smart sessions	2017-07-04	Paper
Typed interpretations of extensible objects	2017-06-13	Paper
A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA.	2013-04-19	Paper
Typing Copyless Message Passing	2012-04-03	Paper
Delegation by object composition	2011-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q3001365	2011-05-31	Paper
Typing Copyless Message Passing	2011-05-19	Paper
Big-step Operational Semantics Revisited	2011-05-18	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
A typed lambda calculus with intersection types	2008-06-24	Paper
FJMIP: A Calculus for a Modular Object Initialization	2008-02-26	Paper
Theoretical Computer Science	2006-11-01	Paper
Coordination Models and Languages	2006-01-10	Paper
Types for Proofs and Programs	2005-12-23	Paper
Types for Proofs and Programs	2005-12-23	Paper
MOMI: a calculus for mobile mixins	2005-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q3024899	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4673425	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4738173	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4474827	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4458488	2004-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q3146272	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4934322	2000-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4261073	1999-09-20	Paper
Matching for the lambda calculus of objects	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4375807	1998-10-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: Viviana Bono