Jean-Philippe Bernardy

Own Thesis
Related Theses

A Theory of Parametric Polymorphism and an Application ; A formalisation of parametric polymorphism within and about dependent type-theory, and an application to property-based testing.

J. Bernardy. Chalmers University of Technology, Gothenburg, Sweden, (2011)base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:138141).

Doctoral advisor:
First reviewer:

Reviewer:
Advisor:
Author: Jean-Philippe Bernardy
Editor:
Other:

No resources found

Publications 0
Other Publications of same named Authors

BibSonomy

Jean-Philippe Bernardy

sort by
added at
title
author
publication date
entry type

BibSonomy

Jean-Philippe Bernardy

sort byadded attitleauthorpublication dateentry type

sort by
added at
title
author
publication date
entry type