Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Cohn, Raphael"'
This paper explores the semantics of a combinatory fragment of reFLect, the lambda-calculus underlying a functional language used by Intel Corporation for hardware design and verification. ReFLect is similar to ML, but has a primitive data type whose
Externí odkaz:
http://arxiv.org/abs/1309.5742
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.
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:
Zolin, Aryeh, Cohn, Raphael, Pang, Rich, Siliciano, Andrew F., Fairhall, Adrienne L., Ruta, Vanessa
Publikováno v:
Nature Neuroscience; November 2021, Vol. 24 Issue: 11 p1555-1566, 12p
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.
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:
ACM International Conference Proceeding Series; 2/6/2018, p1-8, 8p
Publikováno v:
ACM Transactions on Computer-Human Interaction (TOCHI); Jun2018, Vol. 25 Issue 3, p19:1-19:36, 36p