BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Japan
1 × Spain
1 × USA
Collaborated with:
W.Swierstra O.Kammar S.Lindley T.Altenkirch N.A.Danielsson A.Löh
Talks about:
without (1) program (1) handler (1) extract (1) equival (1) observ (1) depend (1) assist (1) action (1) sugar (1)

Person: Nicolas Oury

DBLP DBLP: Oury:Nicolas

Contributed to:

ICFP 20132013
FLOPS 20102010
ICFP 20082008
TLCA 20032003

Wrote 4 papers:

ICFP-2013-KammarLO
Handlers in action (OK, SL, NO), pp. 145–158.
FLOPS-2010-AltenkirchDLO #dependent type #named
ΠΣ: Dependent Types without the Sugar (TA, NAD, AL, NO), pp. 40–55.
ICFP-2008-OuryS #power of
The power of Pi (NO, WS), pp. 39–50.
TLCA-2003-Oury #coq #equivalence #proving
Observational Equivalence and Program Extraction in the Coq Proof Assistant (NO), pp. 271–285.

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.