Type Annotation for Adaptive Systems

Andrew Fish; Paulo Bottoni; Francesco Parisi-Presicce

doi:10.4204/EPTCS.231.1

Type Annotation for Adaptive Systems

Andrew Fish, Paulo Bottoni, Francesco Parisi-Presicce

University of Brighton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

Original language	English
Title of host publication	Graphs as Models workshop (GaM 2016)
Place of Publication	Eindhoven, The Netherlands
Pages	1-15
Number of pages	15
DOIs	https://doi.org/10.4204/EPTCS.231.1
Publication status	Published - 4 Dec 2016
Event	Graphs as Models workshop (GaM 2016) - Eindhoven, The Netherlands, 2016 Duration: 4 Dec 2016 → …

Conference

Conference	Graphs as Models workshop (GaM 2016)
Period	4/12/16 → …

Bibliographical note

Access to Document

10.4204/EPTCS.231.1Licence: Unspecified

type-annotation-for-adaptive-systems.pdfAccepted author manuscript, 807 KBLicence: CC BY

http://eptcs.web.cse.unsw.edu.au/paper.cgi?GaM2016.1Licence: Unspecified

Cite this

@inproceedings{cc4869923dc140ab83e94e644dce1699,

title = "Type Annotation for Adaptive Systems",

author = "Andrew Fish and Paulo Bottoni and Francesco Parisi-Presicce",

note = "{\textcopyright} P. Bottoni, A. Fish \& F. Parisi Presicce. This work is licensed under the Creative Commons Attribution License.; Graphs as Models workshop (GaM 2016) ; Conference date: 04-12-2016",

year = "2016",

month = dec,

day = "4",

doi = "10.4204/EPTCS.231.1",

language = "English",

pages = "1--15",

booktitle = "Graphs as Models workshop (GaM 2016)",

}

TY - GEN

T1 - Type Annotation for Adaptive Systems

AU - Fish, Andrew

AU - Bottoni, Paulo

AU - Parisi-Presicce, Francesco

PY - 2016/12/4

Y1 - 2016/12/4

U2 - 10.4204/EPTCS.231.1

DO - 10.4204/EPTCS.231.1

M3 - Conference contribution with ISSN or ISBN

SP - 1

EP - 15

BT - Graphs as Models workshop (GaM 2016)

CY - Eindhoven, The Netherlands

T2 - Graphs as Models workshop (GaM 2016)

Y2 - 4 December 2016

ER -