Compiling Linear Logic using Continuations
Preprint, 2014
Concurrency
System F
CPS
Classical Linear Logic
Författare
Jean-Philippe Bernardy
Chalmers, Data- och informationsteknik, Programvaruteknik
Dan Rosén
Chalmers, Data- och informationsteknik, Programvaruteknik
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Programvaruteknik
Styrkeområden
Informations- och kommunikationsteknik
Fundament
Grundläggande vetenskaper
Ämneskategorier
Datavetenskap (datalogi)