Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:12189601 > A theory of paramet...

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 / Jean-Philippe Bernardy

Bernardy, Jean-Philippe, 1978- (författare)
ISBN 978-91-7385-514-3
Göteborg : Chalmers University of Technology, 2011
Engelska x, 135 s.
Serie: Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie, 0346-718X ; 3195
Serie: Technical report. D / Department of Computer Science and Engineering, Functional Programming Research Group, 1653-1787 ; 77
  • BokAvhandling(Diss. Göteborg : Chalmers tekniska högskola, 2011)
Innehållsförteckning
Stäng  
  • Sammanfattning jämte 3 uppsatser. 
Inställningar Hjälp

Titeln finns på 3 bibliotek. 

Bibliotek i Stockholmsregionen (1)

Ange som favorit

Bibliotek i västra Sverige (1)

Ange som favorit

Bibliotek i södra Sverige (1)

Ange som favorit

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy