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 × Germany
1 × Hungary
1 × USA
1 × Uruguay
Collaborated with:
P.Biggar D.Gregg R.Plasmeijer D.M.Abrahamson V.Koutavas
Talks about:
languag (3) practic (2) script (2) compil (2) uniqu (2) solut (2) type (2) simplifi (1) redefin (1) revers (1)

Person: Edsko de Vries

DBLP DBLP: Vries:Edsko_de

Contributed to:

SEFM 20112011
SAC 20092009
SAC 20092012
IFL 20072007
IFL 20062006

Wrote 5 papers:

SEFM-2011-VriesK #hoare #logic
Reverse Hoare Logic (EdV, VK), pp. 155–171.
SAC-2009-BiggarVG #compilation #scripting language
A practical solution for scripting language compilers (PB, EdV, DG), pp. 1916–1923.
SAC-PL-J-2009-J-BiggarVG12 #compilation #scripting language
A practical solution for achieving language compatibility in scripting language compilers (PB, EdV, DG), pp. 971–989.
IFL-2007-VriesPA #type system
Uniqueness Typing Simplified (EdV, RP, DMA), pp. 201–218.
IFL-2006-VriesPA #type system
Uniqueness Typing Redefined (EdV, RP, DMA), pp. 181–198.

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.