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 × Brazil
1 × India
1 × United Kingdom
3 × USA
Collaborated with:
R.Harper D.R.Licata P.Melliès S.Chaki J.Ivers P.Lee K.C.Wallnau
Talks about:
comput (2) focus (2) bind (2) construct (1) pronomin (1) approach (1) abstract (1) functor (1) delimit (1) continu (1)

Person: Noam Zeilberger

DBLP DBLP: Zeilberger:Noam

Contributed to:

POPL 20152015
LICS 20102010
TLCA 20092009
LICS 20082008
POPL 20082008
MoDELS 20072007

Wrote 6 papers:

POPL-2015-MelliesZ #refinement
Functors are Type Refinement Systems (PAM, NZ), pp. 3–16.
LICS-2010-Zeilberger #continuation #logic
Polarity and the Logic of Delimited Continuations (NZ), pp. 219–227.
TLCA-2009-HarperLZ #approach
A Pronominal Approach to Binding and Computation (RH, DRL, NZ), pp. 3–4.
Focusing on Binding and Computation (DRL, NZ, RH), pp. 241–252.
POPL-2008-Zeilberger #higher-order #syntax
Focusing and higher-order abstract syntax (NZ), pp. 359–369.
MoDELS-2007-ChakiILWZ #modelling
Model-Driven Construction of Certified Binaries (SC, JI, PL, KCW, NZ), pp. 666–681.

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.