Resourceful Dependent Types

Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Direkt till fulltext på webbsida

Författare	Andreas Abel
Publicerad i	24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018.
Publiceringsår	2018
Publicerad vid	Institutionen för data- och informationsteknik (GU) Institutionen för data- och informationsteknik, datavetenskap (GU)
Språk	en
Länkar	https://types2018.projj.eu/
Ämneskategorier	Teoretisk datalogi

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11

Dela:

Press

för studenter

GENVÄGAR

Organisation

Följ oss i sociala medier

GÖTEBORGS UNIVERSITET • Box 100 • 405 30 Göteborg • Telefon: 031 786 0000
Kontakt • Organisationsnummer: 202100-3153 • Om webbplatsen

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor. Vad är kakor?