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 × France
1 × Germany
1 × United Kingdom
2 × USA
Collaborated with:
G.Rosolini J.Power M.Collinson D.J.Pym
Talks about:
abstract (3) polymorph (2) relat (2) logic (2) data (2) structur (1) complet (1) theori (1) realiz (1) fibrat (1)

Person: Edmund Robinson

DBLP DBLP: Robinson:Edmund

Contributed to:

CSL 20052005
CSL 20012001
CSL 20002000
PPDP 20002000
LICS 19901990
LICS 19891989

Wrote 6 papers:

CSL-2005-CollinsonPR #morphism #on the #polymorphism
On Bunched Polymorphism (MC, DJP, ER), pp. 36–50.
CSL-2001-RobinsonR
An Abstract Look at Realizability (ER, GR), pp. 173–187.
CSL-2000-PowerR #abstraction #logic
Logical Relations and Data Abstraction (JP, ER), pp. 497–511.
PPDP-2000-PowerR #abstraction #logic
Logical relations, data abstraction, and structured fibrations (JP, ER), pp. 15–23.
LICS-1990-RobinsonR #call-by #morphism #polymorphism #set
Polymorphism, Set Theory, and Call-by-Value (ER, GR), pp. 12–18.
LICS-1989-Robinson #how #question
How Complete is PER? (ER), pp. 106–111.

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.