Formalization of a Polymorphic Subtyping Algorithm (English)
- New search for: Zhao, Jinxu
- New search for: C. d. S. Oliveira, Bruno
- New search for: Schrijvers, Tom
- New search for: Zhao, Jinxu
- New search for: C. d. S. Oliveira, Bruno
- New search for: Schrijvers, Tom
In:
Interactive Theorem Proving
;
604-622
;
2018
- Article/Chapter (Book) / Electronic Resource
-
Title:Formalization of a Polymorphic Subtyping Algorithm
-
Contributors:
-
Published in:Interactive Theorem Proving ; 604-622Theoretical Computer Science and General Issues ; 10895 ; 604-622
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2018-01-01
-
Size:19 pages
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: