Adam Granicz

According to our database, Adam Granicz authored at least 13 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Synthesizing user interfaces using functional reactive web abstractions.

Adam Granicz, Jozsef Uri, Andras Janko

Proceedings of the Programming'20: 4th International Conference on the Art, 2020

2016

Enabling modular persistence for reactive data models in F# client-server web applications.

Loïc Denuzière, Adam Granicz

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Reactive Single-Page Applications with Dynamic Dataflow.

Simon Fowler, Loïc Denuzière, Adam Granicz

Proceedings of the Practical Aspects of Declarative Languages, 2015

Functional, Reactive Web Programming in F#.

Adam Granicz, Loïc Denuzière

Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

2013

Visualizing data on the web.

Loïc Denuzière, Adam Granicz, Anton Tayanovskyy

Proceedings of the 2013 Workshop on Data Driven Functional Programming, 2013

Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models.

Loïc Denuzière, Ernesto Rodríguez, Adam Granicz

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Functional Web and Mobile Development in F#.

Adam Granicz

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2010

Composing Reactive GUIs in F# Using WebSharper.

Joel Bjornson, Anton Tayanovskyy, Adam Granicz

Proceedings of the Implementation and Application of Functional Languages, 2010

2009

Rapid Prototyping of DSLs with F#.

Adam Granicz

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

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, Stephan Schmitt, Carl Witty, Xin Yu

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Rewriting UNITY.

Adam Granicz, Daniel M. Zimmerman, Jason Hickey

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Compiler implementation in a formal logical framework.

Jason Hickey, Aleksey Nogin, Adam Granicz

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Phobos: A Front-End Approach to Extensible Compilers.

Adam Granicz, Jason Hickey

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003