Zobrazeno 1 - 10 of 99 pro vyhledávání: '"Launchbury, John"'
3
Akademický článek
The HACMS program: using formal methods to eliminate exploitable bugs
Autor: Fisher, Kathleen, Launchbury, John, Richards, Raymond
Publikováno v: Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 2017 Oct . 375(2104), 1-18.
Externí odkaz: https://www.jstor.org/stable/44678576
Zobrazit plný text záznamu
4
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.
5
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.
6
Conference
Building embedded systems with embedded DSLs.
Autor: Hickey, Patrick C., Pike, Lee, Elliott, Trevor, Bielman, James, Launchbury, John
Publikováno v: Proceedings of the 19th ACM SIGPLAN International Conference Functional Programming; 8/19/2014, p3-9, 7p
Zobrazit plný text záznamu
7
Kniha
Application-Scale Secure Multiparty Computation.
Autor: Launchbury, John, Archer, Dave, DuBuisson, Thomas, Mertens, Eric
Publikováno v: Programming Languages & Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings; 2014, p8-26, 19p
Zobrazit plný text záznamu
8
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.
9
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.
10
Conference
A recursive do for Haskell.
Autor: Erkök, Levent, Launchbury, John
Publikováno v: Proceedings of the 2002 ACM SIGPLAN Workshop: Haskell; 10/ 3/2002, p29-37, 9p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje