BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
3 × USA
Collaborated with:
A.Scedrov G.Rosolini E.P.Robinson P.Mulry D.S.Scott J.Girard P.J.Scott
Talks about:
polymorph (2) parametr (2) calculus (2) semant (2) type (2) extension (1) functori (1) recurs (1) induct (1) aspect (1)

Person: Peter J. Freyd

DBLP DBLP: Freyd:Peter_J=

Contributed to:

LICS 19921992
LICS 19901990
LICS 19881988
LICS 19871987

Wrote 5 papers:

LICS-1992-FreydRR #parametricity
Functorial Parametricity (PJF, EPR, GR), pp. 444–452.
LICS-1990-Freyd #induction #recursion
Recursive Types Reduced to Inductive Types (PJF), pp. 498–507.
Extensional PERs (PJF, PM, GR, DSS), pp. 346–354.
LICS-1988-FreydGSS #parametricity #polymorphism #semantics #λ-calculus
Semantic Parametricity in Polymorphic λ Calculus (PJF, JYG, AS, PJS), pp. 274–279.
LICS-1987-FreydS #aspect-oriented #polymorphism #semantics #λ-calculus
Some Semantic Aspects of Polymorphic λ Calculus (PJF, AS), pp. 315–319.

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.