Work

LIPIcs, Volume 74, ECOOP'17, Complete Volume

Year: 2017

Type: conference-paper

Abstract: LIPIcs, Volume 74, ECOOP'17, Complete Volume

Source: DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

DOI: 10.4230/lipics.ecoop.2017

Author: Müller, Peter

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6929162124

FWCI: 0.909

Cites:

Cited by: 26

Related to: 10

Parts: 31