dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Adam Granicz Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoel Bjornson, Anton Tayanovskyy, Adam Granicz: Composing Reactive GUIs in F# Using WebSharper. IFL 2010: 203-216
2009
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Granicz: Rapid Prototyping of DSLs with F#. CEFP 2009: 1-18
2003
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Granicz, Jason Hickey: Phobos: A Front-End Approach to Extensible Compilers. HICSS 2003: 324
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason Hickey, Aleksey Nogin, Adam Granicz: Compiler implementation in a formal logical framework. MERLIN 2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Granicz, Daniel M. Zimmerman, Jason Hickey: Rewriting UNITY. RTA 2003: 138-147
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason 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

Coauthor Index

1Brian E. Aydemir [1]
2Eli Barzilay [1]
3Joel Bjornson [6]
4Yegor Bryukhov [1]
5Robert L. Constable [1]
6Richard Eaton [1]
7Jason Hickey [1] [2] [3] [4]
8Alexei Kopylov [1]
9Christoph Kreitz [1]
10Vladimir Krupski [1]
11Lori Lorigo [1]
12Aleksey Nogin [1] [3]
13Stephan Schmitt [1]
14Anton Tayanovskyy [6]
15Carl Witty [1]
16Xin Yu [1]
17Daniel M. Zimmerman [2]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page