Internalizing Parametricity

Guilhem Moulin. Internalizing Parametricity. PhD thesis, Chalmers University of Technology, Gothenburg, Sweden, 2016. [doi]

@phdthesis{basesearch-6270,
  title = {Internalizing Parametricity},
  author = {Guilhem Moulin},
  year = {2016},
  url = {https://www.base-search.net/Record/36972a2bddc13cbf0a349810d42d8c3988f6a48b959dfdb6308ab8485feb952e},
  note = {base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:235758)},
  researchr = {https://researchr.org/publication/basesearch-6270},
  cites = {0},
  citedby = {0},
  school = {Chalmers University of Technology, Gothenburg, Sweden},
}