| Expert F♯ D Syme, A Granicz, A Cisternino Apress, 2007 | 113 | 2007 |
| MetaPRL–a modular logical environment J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ... Theorem Proving in Higher Order Logics: 16th International Conference …, 2003 | 66 | 2003 |
| Expert F♯ 3.0 D Syme, A Granicz, A Cisternino Apress, 2012 | 55 | 2012 |
| Expert F♯ 2.0 D Syme, A Granicz, A Cisternino Apress, 2011 | 40 | 2011 |
| Composing reactive GUIs in F# using WebSharper J Bjornson, A Tayanovskyy, A Granicz Implementation and Application of Functional Languages: 22nd International …, 2011 | 33 | 2011 |
| Phobos: A front-end approach to extensible compilers A Granicz, J Hickey 36th Annual Hawaii International Conference on System Sciences, 2003 …, 2003 | 24 | 2003 |
| Process migration and transactions using a novel intermediate language J Hickey, JD Smith, B Aydemir, N Gray, A Granicz, C Tapus California Institute of Technology Technical Report caltechCSTR 2002, 2002 | 18 | 2002 |
| Visual Studio 2010 and. NET 4 Six-in-One: Visual Studio,. NET, ASP. NET, VB. NET, C#, and F I Novak, A Velvart, A Granicz, G Balássy, A Hajdrik, M Sellers, GC Hillar, ... John Wiley & Sons, 2010 | 17 | 2010 |
| Reactive single-page applications with dynamic dataflow S Fowler, L Denuzière, A Granicz Practical Aspects of Declarative Languages: 17th International Symposium …, 2015 | 12 | 2015 |
| Xin Yu J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ... MetaPRL—A modular logical environment. Accepted to the TPHOLs 2003 Conference, 2003 | 10 | 2003 |
| Piglets to the rescue L Denuzière, E Rodriguez, A Granicz 25th Symposium on Implementation and Application of Functional Languages …, 2013 | 8 | 2013 |
| Building mobile web applications D Syme, A Granicz, A Cisternino, D Syme, A Granicz, A Cisternino Expert F# 3.0, 391-426, 2012 | 8 | 2012 |
| Functional web and mobile development in F# A Granicz Central European Functional Programming School, 381-406, 2013 | 7 | 2013 |
| Expert F# 3.0 S Don, G Adam, C Antonio Apress, 2012 | 7 | 2012 |
| Compiler implementation in a formal logical framework J Hickey, A Nogin, A Granicz Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about …, 2003 | 6 | 2003 |
| Formal design environments B Aydemir, A Granicz, J Hickey NASA CONFERENCE PUBLICATION, 12-22, 2002 | 6 | 2002 |
| Formal compiler implementation in a logical framework J Hickey, A Nogin, A Granicz, B Aydemir Submitted to ICFP 3, 2003 | 5 | 2003 |
| Rewriting Unity A Granicz, DM Zimmerman, J Hickey Rewriting Techniques and Applications: 14th International Conference, RTA …, 2003 | 5 | 2003 |
| Expert F# 4.0 A Cisternino, A Granicz, D Syme Springer-verlag Berlin And Hei, 2015 | 4 | 2015 |
| Enabling modular persistence for reactive data models in F# client-server web applications L Denuzière, A Granicz Companion Proceedings of the 15th International Conference on Modularity, 55-64, 2016 | 3 | 2016 |
