| 2013 | ||
|---|---|---|
| c7 | ||
| 2010 | ||
| c6 | Joel Bjornson, Anton Tayanovskyy, Adam Granicz: Composing Reactive GUIs in F# Using WebSharper. IFL 2010: 203-216 | |
| 2009 | ||
| c5 | ||
| 2003 | ||
| c4 | ||
| c3 | Jason Hickey, Aleksey Nogin, Adam Granicz: Compiler implementation in a formal logical framework. MERLIN 2003 | |
| c2 | ||
| c1 | Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu: MetaPRL - A Modular Logical Environment. TPHOLs 2003: 287-303 | |
Colors in the list of coauthors
Last update Sun May 19 10:36:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page