Phobos: A Front-End Approach to Extensible Compilers. - Adam Granicz; Jason Hickey (HICSS, 2003)

Compiler implementation in a formal logical framework. - Jason Hickey; Aleksey Nogin; Adam Granicz (MERLIN, 2003)

Rewriting UNITY. - Adam Granicz; Daniel M. Zimmerman; Jason Hickey (RTA, 2003)

MetaPRL - A Modular Logical Environment. - 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; et al. (TPHOLs, 2003)

Rapid Prototyping of DSLs with F#. - Adam Granicz (CEFP, 2009)

Composing Reactive GUIs in F# Using WebSharper. - Joel Bjornson; Anton Tayanovskyy; Adam Granicz (IFL, 2010)

Functional Web and Mobile Development in F#. - Adam Granicz (CEFP, 2013)

Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models. - Loïc Denuzière; Ernesto Rodríguez; Adam Granicz (IFL, 2013)

Visualizing data on the web. - Loïc Denuzière; Adam Granicz; Anton Tayanovskyy (DDFP, 2013)

Functional, Reactive Web Programming in F#. - Adam Granicz; Loïc Denuzière (CEFP, 2015)

Reactive Single-Page Applications with Dynamic Dataflow. - Simon Fowler 001; Loïc Denuzière; Adam Granicz (PADL, 2015)

Enabling modular persistence for reactive data models in F# client-server web applications. - Loïc Denuzière; Adam Granicz (MODULARITY (Companion), 2016)

Synthesizing user interfaces using functional reactive web abstractions. - Adam Granicz; Jozsef Uri; Andras Janko (Programming, 2020)