Type Inference Verified: Algorithm W in Isabelle/HOL

Authors:
Wolfgang Naraschewski;Tobias Nipkow
Affiliations:
-;-
Venue:
TYPES '96 Selected papers from the International Workshop on Types for Proofs and Programs
Year:
1996

Citing 0
Cited 3

Javalight is type-safe—definitely

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type Inference Verified: Algorithm W in Isabelle/HOL

Journal of Automated Reasoning
Machine-Checking the Java Specification: Proving Type-Safety

Formal Syntax and Semantics of Java

Quantified Score

Hi-index	0.00

Visualization

Abstract