Follow
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
Trends in Functional Programming: 13th International Symposium, TFP 2012, St …, 2013
32013
A C++ pearl–self-referring streams
A Góbi, Z Szűgyi, T Kozsik
Annales Univ. Sci. Budapest., Sec. Comp. 37, 157-174, 2012
32012
Size analysis of higher-order functions
A Gobi, O Shkaravska, M van Eekelen
Madrid: Dept. Computer Systems and Computing Universidad Complutense de Madrid, 2011
32011
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
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
The system can't perform the operation now. Try again later.
Articles 1–17