Adam Granicz
Adam Granicz
IntelliFactory
Zweryfikowany adres z intellifactory.com - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Expert F♯
D Syme, A Granicz, A Cisternino
Apress, 2007
1172007
MetaPRL–a modular logical environment
J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ...
International Conference on Theorem Proving in Higher Order Logics, 287-303, 2003
672003
Expert F♯ 3.0
D Syme, A Granicz, A Cisternino
Apress, 2012
542012
Expert F♯ 2.0
D Syme, A Granicz, A Cisternino
Apress, 2011
382011
Composing reactive GUIs in F# using WebSharper
J Bjornson, A Tayanovskyy, A Granicz
Symposium on Implementation and Application of Functional Languages, 203-216, 2010
292010
Phobos: A front-end approach to extensible compilers
A Granicz, J Hickey
36th Annual Hawaii International Conference on System Sciences, 2003 …, 2003
252003
Process migration and transactions using a novel intermediate language
J Hickey, JD Smith, B Aydemir, N Gray, A Granicz, C Ţăpuş
California Institute of Technology, 2002
182002
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
162010
Reactive single-page applications with dynamic dataflow
S Fowler, L Denuzière, A Granicz
International Symposium on Practical Aspects of Declarative Languages, 58-73, 2015
122015
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
102003
Piglets to the rescue
L Denuzière, E Rodriguez, A Granicz
25th Symposium on Implementation and Application of Functional Languages …, 2013
82013
Functional Web and Mobile Development in F
A Granicz
Central European Functional Programming School, 381-406, 2013
72013
Building mobile web applications
D Syme, A Granicz, A Cisternino
Expert F# 3.0, 391-426, 2012
72012
Expert F# 3.0
S Don, G Adam, C Antonio
Apress, 2012
62012
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
62003
Formal design environments
B Aydemir, A Granicz, J Hickey
NASA CONFERENCE PUBLICATION, 12-22, 2002
62002
Rewriting Unity
A Granicz, DM Zimmerman, J Hickey
International Conference on Rewriting Techniques and Applications, 138-147, 2003
52003
Formal compiler implementation in a logical framework
J Hickey, A Nogin, A Granicz, B Aydemir
California Institute of Technology, 2003
52003
Expert F# 4.0
A Cisternino, A Granicz, D Syme
Springer-verlag Berlin And Hei, 2015
32015
Reactive abstractions for functional web applications
L Denuzière, A Granicz, S Fowler
Implementation and Application of Functional Languages (IFL), 2015
22015
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20