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 × Estonia
Collaborated with:
B.C.d.S.Oliveira S.Cho K.Yi
Talks about:
metatheori (1) represent (1) framework (1) generic (1) formal (1) order (1) first (1) meta (1)

Person: Gyesik Lee

DBLP DBLP: Lee:Gyesik

Contributed to:

ESOP 20122012

Wrote 1 papers:

ESOP-2012-LeeOCY #first-order #framework #named
GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.

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.