Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Kent, Andrew M."'
Publikováno v:
SIGPLAN Not. 51, 6 (June 2016), 296-309
We present a new type system combining occurrence typing, previously used to type check programs in dynamically-typed languages such as Racket, JavaScript, and Ruby, with dependent refinement types. We demonstrate that the addition of refinement type
Externí odkaz:
http://arxiv.org/abs/1511.07033
Autor:
Tobin-Hochstadt, Sam, Felleisen, Matthias, Findler, Robert, Flatt, Matthew, Greenman, Ben, Kent, Andrew M., St-Amour, Vincent, Strickland, T. Stephen, Takikawa, Asumu
In this day and age, many developers work on large, untyped code repositories. Even if they are the creators of the code, they notice that they have to figure out the equivalent of method signatures every time they work on old code. This step is time
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c52410f325c815a808f5a98a8da96767
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the 10th ACM Symposium Dynamic Languages; 10/20/2014, p45-56, 12p
Publikováno v:
Proceedings of the 2011 Workshop: Historical Document Imaging & Processing; Sep2011, p43-50, 8p