Certified symbolic management of financial multi-party contracts

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelProceedings of the 20th ACM SIGPLAN International Conference on Functional Programming : ICFP 2015
Antal sider13
ForlagAssociation for Computing Machinery
Publikationsdato2015
Sider315-327
ISBN (Trykt)978-1-4503-3669-7
DOI
StatusUdgivet - 2015
BegivenhedACM SIGPLAN International Conference on Functional Programming 2015 - Vancouver, Canada
Varighed: 31 aug. 2015 → 2 sep. 2015
Konferencens nummer: 20

Konference

KonferenceACM SIGPLAN International Conference on Functional Programming 2015
Nummer20
LandCanada
ByVancouver
Periode31/08/2015 → 02/09/2015

ID: 142916911