Travelled to:1 × Hungary
2 × Romania
Collaborated with:∅ Z.Csörnyei D.Leskó M.Tejfel B.Gregorics T.Gregorics G.F.Kovács A.Dobreff
Talks about:introduct (1) algorithm (1) calculus (1) textual (1) struggl (1) languag (1) diagram (1) visual (1) system (1) layout (1)
Person: Gergely Dévai
DBLP: D=eacute=vai:Gergely
Contributed to:
2015
201320092007Wrote 4 papers:
- MoDELS-2015-GregoricsGKDD #algorithm #diagrams #layout #visualisation
- Textual diagram layout language and visualization algorithm (BG, TG, GFK, AD, GD), pp. 196–205.
- CEFP-2013-DevaiLT
- The EDSL’s Struggle for Their Sources (GD, DL, MT), pp. 300–335.
- CEFP-2009-Devai #haskell #proving
- Embedding a Proof System in Haskell (GD), pp. 354–371.
- CEFP-2007-CsornyeiD #λ-calculus
- An Introduction to the λ Calculus (ZC, GD), pp. 87–111.