Giovanni Lagorio

From MaRDI portal
Person:418190

Available identifiers

zbMath Open lagorio.giovanniMaRDI QIDQ418190

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q51510112021-02-16Paper
Static Single Information Form for Abstract Compilation2012-09-21Paper
Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages2012-05-24Paper
Idealized coinductive type systems for imperative object-oriented programs2011-06-10Paper
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?2011-01-21Paper
Theoretical Computer Science2010-02-23Paper
Type Inference by Coinductive Logic Programming2009-07-02Paper
A flexible model for dynamic linking in Java and C\#2007-01-22Paper
https://portal.mardi4nfdi.de/entity/Q30467652004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44178812003-07-30Paper

Research outcomes over time

This page was built for person: Giovanni Lagorio

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:418190&oldid=7467071"
Powered by MediaWiki