December 1, 2020
Effectiveness of Annotation-Based Static Type Inference
Authors
Isabel Wingen, Philipp Körner
Venue
WFLP 2020
Bibtex
@InProceedings(plstatic-wflp,
Author = {Isabel Wingen and Philipp Körner},
Title = {{Effectiveness of Annotation-Based Static Type Inference}},
Booktitle = {Proceedings WFLP (International Workshop on Functional and Constraint Logic Programming) 2020},
Year = 2021,
Series = {Lecture Notes in Computer Science},
Volume = 12560,
Pages = {74--93},
Publisher = {Springer}
)
