Zobrazeno 1 - 7
of 7
pro vyhledávání: '"KORONKEVICH, PAULETTE"'
In this paper, we explore a connection between type universes and memory allocation. Type universe hierarchies are used in dependent type theories to ensure consistency, by forbidding a type from quantifying over all types. Instead, the types of type
Externí odkaz:
http://arxiv.org/abs/2407.06473
Autor:
Coblenz, Michael, Kambhatla, Gauri, Koronkevich, Paulette, Wise, Jenna L., Barnaby, Celeste, Sunshine, Joshua, Aldrich, Jonathan, Myers, Brad A.
Programming language design requires making many usability-related design decisions. However, existing HCI methods can be impractical to apply to programming languages: they have high iteration costs, programmers require significant learning time, an
Externí odkaz:
http://arxiv.org/abs/1912.04719
Autor:
Coblenz, Michael, Oei, Reed, Etzel, Tyler, Koronkevich, Paulette, Baker, Miles, Bloem, Yannick, Myers, Brad A., Sunshine, Joshua, Aldrich, Jonathan
Blockchain platforms are coming into broad use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, supporting smart contracts, which maintain persistent state and support t
Externí odkaz:
http://arxiv.org/abs/1909.03523
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.
Autor:
Koronkevich, Paulette
A growing number of programmers use dependently typed languages such as Coq to machine-verify important properties of high-assurance software. However, existing compilers for these languages provide no guarantees after compiling, nor when linking aft
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d120cf78f338087abc85bd0b206a3cb9
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.