Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Giovanni Lagorio

Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Just: Safe Unknown Types in Java-Like Languages.

Journal of Object Technology
Software
2007English

Related publications

A Core Calculus for Scala Type Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Core Calculus for Dynamic Delta-Oriented Programming

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2017English

Towards a Functional Calculus for Subnormal Tuples: The Minimal Normal Extension

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1991English

Minimal Representative Set for a System of Frequency Classes of Underdetermined Words

Prikladnaya diskretnaya matematika. Prilozhenie
2019English

Featherweight VeriFast

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Poisson Manifolds, Lie Algebroids, Modular Classes: A Survey

Symmetry, Integrability and Geometry: Methods and Applications (SIGMA)
GeometryMathematical PhysicsAnalysisTopology
2008English

Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Analysis of Grade Variances in Multisection Calculus Classes

English

A Featherweight Approach to FOOL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy