| Higher-order size checking without subtyping A Góbi, O Shkaravska, M van Eekelen Trends in Functional Programming: 13th International Symposium, TFP 2012, St …, 2013 | 3 | 2013 |
| A C++ pearl–self-referring streams A Góbi, Z Szűgyi, T Kozsik Annales Univ. Sci. Budapest., Sec. Comp. 37, 157-174, 2012 | 3 | 2012 |
| Size analysis of higher-order functions A Gobi, O Shkaravska, M van Eekelen Madrid: Dept. Computer Systems and Computing Universidad Complutense de Madrid, 2011 | 3 | 2011 |
| Low level conditional move optimization A Antyipin, A Góbi, T Kozsik Acta Cybernetica 21 (1), 5-20, 2013 | 1 | 2013 |
| Untangling Type Inference and Scope Analysis A Góbi, T Kozsik, M Mészáros, A Antyipin, D Batha, T Kiss 8 th International Conference on Applied Informatics, 157, 2010 | 1 | 2010 |
| Embedded Resource Tool In Haskell A Góbi, T Kozsik, B Králik Studia Universitatis Babes-Bolyai, Informatica 59, 129-136, 2014 | | 2014 |
| STL conform infinite streams Z Szűgyi, A Góbi 11th International Conference of Numerical Analysis and Applied Mathematics …, 2013 | | 2013 |
| Embedding a Query Language into C+ A Góbi, Z Szugyi, T Kozsik CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 17, 2012 | | 2012 |
| Low Level Conditional Move Optimization (Intel Sandy Bridge and AMD K12) A Antyipin, A Góbi, T Kozsik CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 2, 2012 | | 2012 |
| Size Calculus for a Higher-Order Functional Language A Góbi, O Shkaravska, M van Eekelen 13th International Symposium on Trends in Functional Programming (TFP2012), 2012 | | 2012 |
| Manipulating Infinite Data in C++ Using Lazy Shared Objects A Antyipin, A Góbi, T Kozsik Stará Lesna, Szlovákia, 2012 | | 2012 |
| Size Analysis of Higher-Order Functions O Shkaravska, A Góbi, M van Eekelen Madrid, Spanyolország, 2011 | | 2011 |
| Detaching and Reconstructing the Documentary Structure of Source Code A Góbi, A Kovács, D Leskó, M Mészáros 8 th International Conference on Applied Informatics, 401, 2010 | | 2010 |
| Size Calculus for a Higher-Order Functional A Gobi, O Shkaravska, M van Eekelen | | |
| STL Conform Infinite Streams Z Szugyi, A Góbi | | |
| Type inference in Gb A Góbi, T Kozsik | | |
| Detaching and Reconstructing the Documentary Structure of Source Code P Diviánszky, A Góbi, D Leskó, M Mészáros, G Páli | | |
