共 45 条
[1]
Amin Nada, 2016, A List of Successes that can Change the World. Essays Dedicated to Philip Wadler on the Occasion of his 60th Birthday. LNCS 9600, P249, DOI 10.1007/978-3-319-30936-1_14
[2]
Amin N, 2014, ACM SIGPLAN NOTICES, V49, P233, DOI [10.1145/2714064.2660216, 10.1145/2660193.2660216]
[3]
Boruch-Gruszecki A, 2022, Arxiv, DOI [arXiv:2209.07427, 10.48550/arXiv.2209.07427, DOI 10.48550/ARXIV.2209.07427]
[4]
Boruch-Gruszecki Aleksander, 2022, Zenodo, DOI 10.5281/ZENODO.7079463
[5]
Boruch-Gruszecki Aleksander, 2017, Master's thesis, P27
[6]
Boszormenyi Laszlo, 2012, Programming in Modula-3: an introduction in programming with style, P26
[8]
Canning P.S., 1989, P 4 INT C FUNCT PROG, P273, DOI DOI 10.1145/99370.99392
[9]
ON UNDERSTANDING TYPES, DATA ABSTRACTION, AND POLYMORPHISM.
[J].
Computing surveys,
1985, 17 (04)
:471-522
[10]
STITCH: The Sound Type-Indexed Type Checker (Functional Pearl)
[J].
PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL, HASKELL 2020,
2020,
:39-53