Travelled to:1 × France
1 × USA
Collaborated with:G.Rosolini P.J.Freyd
Talks about:parametr (2) polymorph (1) functori (1) reflex (1) graph (1)
Person: E. P. Robinson
DBLP: Robinson:E=_P=
Contributed to:
19941992Wrote 2 papers:
- LICS-1994-RobinsonR #graph #morphism #parametricity #polymorphism #reflexive
- Reflexive Graphs and Parametric Polymorphism (EPR, GR), pp. 364–371.
- LICS-1992-FreydRR #parametricity
- Functorial Parametricity (PJF, EPR, GR), pp. 444–452.