BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: D=eacute=vai:Gergely

Contributed to:

MoDELS 20152015
CEFP 20132013
CEFP 20092009
CEFP 20072007

Wrote 4 papers:

MoDELS-2015-GregoricsGKDD #algorithm #diagrams #layout #visualisation
Textual diagram layout language and visualization algorithm (BG, TG, GFK, AD, GD), pp. 196–205.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.