Foundations for SCALA : semantics and proof of virtual types

Name: Foundations for SCALA : semantics and proof of virtual types
License: Open Access

Cremet, Vincent

DataCite · Datasets · License: Open Access

theory of programming languages, object-oriented programming, scala, semantics, type system, virtual types, type safety, model of computation

This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Record · ID 401910
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.