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
2 × USA
Collaborated with:
F.Pfenning A.Bonnaire-Sergeant S.Tobin-Hochstadt
Talks about:
analysi (2) comput (2) type (2) intersect (1) approach (1) practic (1) tempor (1) option (1) effect (1) clojur (1)

Person: Rowan Davies

DBLP DBLP: Davies:Rowan

Contributed to:

ICFP 20002000
LICS 19961996
POPL 19961996
ESOP 20162016

Wrote 4 papers:

ICFP-2000-DaviesP
Intersection types and computational effects (RD, FP), pp. 198–208.
LICS-1996-Davies #analysis #approach
A Temporal-Logic Approach to Binding-Time Analysis (RD), pp. 184–195.
POPL-1996-DaviesP #analysis #staged
A Modal Analysis of Staged Computation (RD, FP), pp. 258–270.
ESOP-2016-Bonnaire-Sergeant #clojure
Practical Optional Types for Clojure (ABS, RD, STH), pp. 68–94.

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.