Författare
Robert Krook
Göteborgs universitet
Patrik Jansson
Chalmers, Data- och informationsteknik, Funktionell programmering
Workshop on Type-Driven Development
Berlin, Germany,
Berlin, Germany,
Ämneskategorier
Algebra och logik
Datavetenskap (datalogi)
Styrkeområden
Informations- och kommunikationsteknik
Fundament
Grundläggande vetenskaper