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 × Canada
1 × Italy
1 × Spain
1 × United Kingdom
3 × USA
Collaborated with:
D.Dreyer C.Hur V.Vafeiadis L.Birkedal A.Rossberg M.A.Hammer Y.Chen U.A.Acar J.Kaiser C.McLaughlin
Talks about:
higher (3) relat (3) order (3) parametr (2) state (2) logic (2) parameter (1) composit (1) coinduct (1) pilsner (1)

Person: Georg Neis

DBLP DBLP: Neis:Georg

Contributed to:

ICFP 20152015
POPL 20132013
POPL 20122012
OOPSLA 20112011
ICFP 20102010
POPL 20102010
ICFP 20092009

Wrote 7 papers:

ICFP-2015-NeisHKMDV #compilation #higher-order #imperative #named
Pilsner: a compositionally verified compiler for a higher-order imperative language (GN, CKH, JOK, CM, DD, VV), pp. 166–178.
POPL-2013-HurNDV #induction #power of #proving
The power of parameterization in coinductive proof (CKH, GN, DD, VV), pp. 193–206.
POPL-2012-HurDNV #bisimulation #logic
The marriage of bisimulations and Kripke logical relations (CKH, DD, GN, VV), pp. 59–72.
OOPSLA-2011-HammerNCA #self #stack
Self-adjusting stack machines (MAH, GN, YC, UAA), pp. 753–772.
ICFP-2010-DreyerNB #higher-order #reasoning #relational
The impact of higher-order state and control effects on local relational reasoning (DD, GN, LB), pp. 143–156.
POPL-2010-DreyerNRB #data type #higher-order #logic #relational
A relational modal logic for higher-order stateful ADTs (DD, GN, AR, LB), pp. 185–198.
ICFP-2009-NeisDR #parametricity
Non-parametric parametricity (GN, DD, AR), pp. 135–148.

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.