Course material

Research

Jelenlegi kutatási terület:

Current activities:

Publications

Summary

BibTeX file

References

Diviánszky, Péter. 2005a. “Direct Graph Manipulation in Functional Languages.” Presented at the Central-European Functional Programming School, Eötvös Loránd University, Budapest, Hungary, 4-16 July.

———. 2005b. “Substructural Functional Programming.” In Implementation and Application of Functional Languages, 17th International Workshop, IFL’05, ed. A. Butterfield, 3pages. Trinity College, Dublin.

———. 2006. “Unique Identifiers in Pure Functional Languages.” In Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP), ed. Henrik Nilsson, 84–98. The University of Nottingham.

———. 2007a. “Efficient Implementation of Linearly Used Finite Maps.” In Proceedings of the 10th Symposium on Programming Languages and Software Tools, ed. Zoltán Horváth, László Kozma, and Viktória Zsók, 199–213. Eötvös University Press.

———. 2007b. “Linearly Used Finite Maps.” In 2nd Central European Functional Programming School (CEFP 2007), Cluj Napoca, Romania, PhD workshop abstracts, 1page.

———. 2008. “Translating Imperative Algorithms to Functional Code with Unique Variable Environments.” In Implementation and Application of Functional Languages, 20th International Symposium, IFL 2008, ed. Sven-Bodo Scholz, 216–221. Hatfield, Hertfordshire, UK.

———. 2009. “Efficient Implementation of Linearly Used Finite Maps.” Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica 30: 201–218.

———. 2010. “Non-monadic Models of Mutable References.” In Third Summer School, CEFP 2009, Budapest, Hungary, May 2009 and Komárno, Slovakia, May 2009, Revised Selected Lectures, ed. Zoltán Horváth, Rinus Plasmeijer, and Viktória Zsók, 6299:147–187. Springer Verlag.

———. 2012. “References in Pure Functional Languages.” Eötvös Loránd University.

Diviánszky, Péter, Attila Góbi, Dániel Leskó, Mónika Mészáros, and Gábor Páli. 2009. “Detaching and Reconstructing the Documentary Structure.” In Proceedings of the Tenth Symposium on Trends in Functional Programming (TFP 2009), ed. Zoltán Horváth, Zsók Viktória, Peter Achten, and Pieter Koopman, 43–58. Eötvös Loránd University, Faculty of Informatics.

Diviánszky, Péter, Attila Góbi, and Tamás Kozsik. 2011. “Size Analysis of Higher-Order Functions.” In Draft Proceedings of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2011), ed. Ricardo Pena, 23–37.

Diviánszky, Péter, Zoltán Horváth, Mónika Mészáros, Gábor Páli, Artyom Antyipin, Dorián Batha, Andrea Kovács, Péter Kovács, Judit Kőszegi, and Dániel Leskó. 2009. “Infrastructure for Analysis of F# Programs.” Poster, ELTE Innovation Day.

Diviánszky, Péter, Mónika Mészáros, and Gábor Páli. 2009. “Analysis of F# Programs.” Morgan Stanley - BME Financial Innovation Centre, Kick-off & Workshop, Budapest, Hungary, 15th June 2009.

Diviánszky, Péter, Rozália Szabó-Nacsa, and Zoltán Horváth. 2004. “A Framework for Refactoring Clean Programs.” In 6th International Conference on Applied Informatics, ed. Lajos Csőke and others, 1:129–136. B.V.B. Press.

Diviánszky, Péter, and Gábor Páli. 2011. “A funkcionális programozás tanulásának támogatása interaktív tanulássegítő eszközökkel.” In , ed. L. Cser and M. Herdon, 518–525.

Horváth, Zoltán, Péter Diviánszky, Attila Góbi, Mónika Mészáros, and Gábor Páli. 2009a. “F# forrásprogramok stílusának elemzése.” Készült a ELTE IKKK keretében a Morgan Stanley Magyarország Elemző Kft megbízásából és támogatásával, 84 oldal.

———. 2009b. “Adatok és erőforrások használata F# programokban.” Készült a ELTE IKKK keretében a Morgan Stanley Magyarország Elemző Kft megbízásából és támogatásával, 98 oldal.

Horváth, Zoltán, Péter Diviánszky, Gábor Páli, and Mónika Mészáros. 2008. “F# funkcionális programok elemzése – dedikált lexikális elemző, Megvalósíthatósági tanulmány.” Készült a ELTE IKKK keretében a Morgan Stanley Magyarország Elemző Kft megbízásából és támogatásával, 83 oldal.

Szabó-Nacsa, Rozália, Péter Diviánszky, and Zoltán Horváth. 2004a. “Prototype Environment for Refactoring Clean Programs.” In Conference of PhD students on Computer Sciences (CSCS), Volume of extended abstracts, 113–113. Szeged, Hungary.

———. 2004b. “Prototype Environment for Refactoring Clean Programs.” In Summer School on Advanced Functional Programming (AFP’04), Student Session, University of Tartu, Estonia, 19–23.