mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-10-26 21:42:45 +03:00
83fda3ddbf
The pair example used a sub-optimal algorithm that didn't work except on trivial cases. The now one explicitly states that we only consider trivial cases.
26 lines
706 B
BibTeX
26 lines
706 B
BibTeX
@misc{Cas15,
|
|
author = {G. Castagna},
|
|
title = {Covariance and Contravariance: a fresh look at an
|
|
old issue (a primer in advanced type systems for
|
|
learning functional programmers)},
|
|
year = {2015},
|
|
note = {Unpublished manuscript},
|
|
}
|
|
|
|
@phdthesis{Fri04,
|
|
author = {A. Frisch},
|
|
title = {Théorie, conception et réalisation d'un langage adapté à XML},
|
|
school = {Université Paris Diderot},
|
|
year = 2004,
|
|
month = 12,
|
|
}
|
|
|
|
@phdthesis{phdkim,
|
|
author={{K}im {N}guyễn},
|
|
title={{L}angage de {C}ombinateurs pour {X}{M}{L}: {C}onception, {T}ypage, {R}éalisation},
|
|
year={2008},
|
|
booktitle={{T}hèse de doctorat},
|
|
school={{U}niversité {P}aris-{S}ud 11},
|
|
url={files/thesis.pdf}
|
|
}
|