Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Naudon, Enrique"'
Publikováno v:
Practical Aspects of Declarative Languages (2021) 54-70
In this paper, we describe our experience incorporating gradual types in a statically typed functional language with Hindley-Milner style type inference. Where most gradually typed systems aim to improve static checking in a dynamically typed languag
Externí odkaz:
http://arxiv.org/abs/2101.12299
Publikováno v:
2012 IEEE Symposium on Security & Privacy Workshops; 1/ 1/2012, p97-103, 7p