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 × Denmark
2 × France
3 × USA
Collaborated with:
E.Robinson E.P.Robinson P.J.Freyd J.Power D.S.Scott L.Birkedal A.Carboni P.Mulry
Talks about:
polymorph (2) parametr (2) theori (2) extension (1) functori (1) categori (1) approach (1) abstract (1) modular (1) semant (1)

Person: Giuseppe Rosolini

DBLP DBLP: Rosolini:Giuseppe

Contributed to:

CSL 20012001
ICALP 19981998
LICS 19981998
LICS 19941994
LICS 19921992
LICS 19901990

Wrote 7 papers:

CSL-2001-RobinsonR
An Abstract Look at Realizability (ER, GR), pp. 173–187.
ICALP-1998-PowerR #approach #composition #semantics
A Modular Approach to Denotational Semantics (JP, GR), pp. 351–362.
LICS-1998-BirkedalCRS #category theory #type system
Type Theory via Exact Categories (LB, AC, GR, DSS), pp. 188–198.
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.
LICS-1990-FreydMRS
Extensional PERs (PJF, PM, GR, DSS), pp. 346–354.
LICS-1990-RobinsonR #call-by #morphism #polymorphism #set
Polymorphism, Set Theory, and Call-by-Value (ER, GR), pp. 12–18.
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.