Work

A generic type system for featherweight Java

Year: 2021

Type: conference-paper

Source: Formal Techniques for Java-like Programs

DOI: 10.1145/3464971.3468419

Authors: Ulrich Schöpp, Chuangjie Xu

Institution: Fortiss

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Deutsche Forschungsgemeinschaft

Award: Durchsetzung und Analyse von Programmierrichtlinien für sichere WebProgrammierung mit Typsystemen

OpenAlex ID: W3178438443

FWCI: 0.175

Cites: 13

Cited by: 1

Related to: 10