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

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-03013-0_12
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

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