@inproceedings{fopara_2011,
  author = {Péter Diviánszky and Attila Góbi and Tamás Kozsik},
  title = {{Size Analysis of Higher-Order Functions}},
  booktitle = {Draft Proceedings of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis},
  year = {2011},
  pages = {23--37}
}


@article{studia14,
  title = {{Embedded Resource Tool In Haskell}},
  author = {Góbi, Attila and Kozsik, Tamás and Králik, Barnabás},
  journal = {Studia Universitatis Babes-Bolyai, Informatica},
  volume = {59},
  pages = {129--136},
  year = {2014},
  note = {10th Joint Conference on Mathematics and Computer Science, Cluj-Napoca, May 21-25, 2014},
  url = {http://www.cs.ubbcluj.ro/~studia-i/2014-macs/10Gobi.pdf},
}


@incollection{lncs13,
  year = {2013},
  isbn = {978-3-642-40446-7},
  booktitle = {Trends in Functional Programming},
  volume = {7829},
  series = {Lecture Notes in Computer Science},
  editor = {Loidl, Hans-Wolfgang and Peña, Ricardo},
  doi = {10.1007/978-3-642-40447-4_4},
  title = {{Higher-Order Size Checking without Subtyping}},
  publisher = {Springer Berlin Heidelberg},
  author = {Góbi, Attila and Shkaravska, Olha and van Eekelen, Marko},
  pages = {53-68}
}

@inproceedings{tfp2011,
  author = {Attila G{\'o}bi and Olha Shkaravska and Marko van Eekelen},
  title = {{Size Analysis of Higher-Order Functions}},
  booktitle = {Proceedings of the 12th International Symposium on Trends in Functional Programming (TFP2011)},
  editor = {Ricardo Peña and Marko van Eekelen},
  year = {2011},
  month = {may},
  pages = {77--91},
  url = {http://pnyf.inf.elte.hu/gobi/pubs/tfp2011.pdf},
  address = {Madrid, Spain},
  organization = {Dept. Computer Systems and Computing Universidad Complutense de Madrid},
  fullurl={http://federwin.sip.ucm.es/sic/investigacion/publicaciones/pdfs/SIC-7-11.pdf}
}


@InBook{icai2010_scope,
  author = {Attila Góbi and Tamás Kozsik and Mónika Mészáros and Artyom Antyipin and Dorián Batha and Tamás Kiss},
  title = {{Untangling Type Inference and Scope Analysis}},
  booktitle = {The 8th International Conference on Applied Informatics (ICAI)},
  year = {2011},
  editor = {Egri-Nagy, Attila and Kovács, Emőd and Kovásznai, Gergely and Kusper, Gábor and Tamás, Tibor},
  publisher = {Eszterházy Károly Főiskola},
  url = {http://icai.ektf.hu/pdf/ICAI2010-vol2-pp157-164.pdf}
}


@InBook{macs2010,
  author = {Attila Góbi and Tamás Kozsik},
  title = {{Type inference in {G}$\flat$}},
  booktitle = {8th Joint Conference on Mathematics and Computer Science (8th MaCS)},
  editor = {Pop, Horia F.  and Bege, Antal},
  year = {2010},
  publisher = {Novadat},
  address = {Gy{\H o}r},
  zbl = {1233.68123},
  abstract={{
Subtyping and reuse of identifiers in field names are obvious facilities in an
object-oriented language. However, these object-oriented features of F\#
are not orthogonal to the type inference approach of functional languages. From
the point of view of the Hindley-Milner type inference ambiguity of identifiers
is unmanageable. In order to infer types, name clashes should be resolved first.

This paper presents a modification of the Bottom-Up algorithm which allows the
separation of Hindley-Milner style type inference and name resolution in \Gb{}
-- a simple language that shares some characteristics with F\# while
neglecting e.g.~subtyping. The shown method works by delaying name resolution,
this way name resolution can use inferred type information.

The advantages of the presented method are (i) reduced complexity of the
compiler, (ii) support for the inclusion of further static analysis and (iii)
possibility of extending the language to deem a richer set of meaningful
programs valid.
  }},
  pages={196--209},
  url={http://www.selyeuni.sk/macs/pdf/MaCS_compsci2010.pdf}
}


@techreport{2012-Gobi-LanguageHigherorder,
  author = {{Gobi}, Attila and {Shkaravska}, Olha and {Eekelen}, Marko van},
  title = {{A higher--order size system for a higher--order functional language}},
  number = {ICIS--R12005},
  month = {July},
  institution = {Radboud University Nijmegen},
  year = {2012},
  research_group = {ds},
  class = {Report},
}