Attila Góbi
Attila Góbi
Verified email at pnyf.inf.elte.hu
Title
Cited by
Cited by
Year
Higher-order size checking without subtyping
A Góbi, O Shkaravska, M van Eekelen
International Symposium on Trends in Functional Programming, 53-68, 2012
32012
A C++ pearl–self-referring streams
A Góbi, Z Szűgyi, T Kozsik
Annales Univ. Sci. Budapest., Sec. Comp. 37, 157-174, 2012
22012
Size analysis of higher-order functions
A Gobi, O Shkaravska, M van Eekelen
Proceedings of the 12th International Symposium on Trends in Functional …, 2011
22011
Low level conditional move optimization
A Antyipin, A Góbi, T Kozsik
Acta Cybernetica 21 (1), 5-20, 2013
12013
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
12010
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
AIP Conference Proceedings 1558 (1), 349-352, 2013
2013
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–12