Type Checking by Domain Analysis in Ampersand

S.M.M. Joosten; S.J.C. Joosten

doi:10.1007/978-3-319-24704-5_14

Type Checking by Domain Analysis in Ampersand

^*Corresponding author for this work

Research Program Learning and Innovation in Resilient systems (LIRS)

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Relational and Algebraic Methods in Computer Science
Subtitle of host publication	15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Editors	Wolfram Kahl, Michael Winter, José Oliveira
Place of Publication	Cham
Publisher	Springer Nature Switzerland AG
Chapter	14
Pages	225-240
Number of pages	16
ISBN (Electronic)	9783319247045
ISBN (Print)	9783319247038
DOIs	https://doi.org/10.1007/978-3-319-24704-5_14
Publication status	Published - 2015
Event	15th International Relational and Algebraic Methods in Computer Science - Hotel do Parque, Braga, Portugal Duration: 28 Sept 2015 → 1 Oct 2015 Conference number: 15th https://ramics2015.di.uminho.pt/

Publication series

Series	Lecture Notes in Computer Science (LNCS) series
Volume	9348
ISSN	0302-9743

Series	Theoretical Computer Science and General Issues (LNCS subseries)
Volume	9348

Conference

Conference	15th International Relational and Algebraic Methods in Computer Science
Abbreviated title	RAMICS 2015
Country/Territory	Portugal
City	Braga
Period	28/09/15 → 1/10/15
Internet address	https://ramics2015.di.uminho.pt/

Access to Document

10.1007/978-3-319-24704-5_14

Cite this

Joosten, S. M. M., & Joosten, S. J. C. (2015). Type Checking by Domain Analysis in Ampersand. In W. Kahl, M. Winter, & J. Oliveira (Eds.), Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings (pp. 225-240). Springer Nature Switzerland AG. Lecture Notes in Computer Science (LNCS) series Vol. 9348 Theoretical Computer Science and General Issues (LNCS subseries) Vol. 9348 https://doi.org/10.1007/978-3-319-24704-5_14

Joosten, S.M.M. ; Joosten, S.J.C. / Type Checking by Domain Analysis in Ampersand. Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. editor / Wolfram Kahl ; Michael Winter ; José Oliveira. Cham : Springer Nature Switzerland AG, 2015. pp. 225-240 (Lecture Notes in Computer Science (LNCS) series, Vol. 9348). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9348).

@inproceedings{7b920b3abfff4165ba0c9c0ed4c2a472,

title = "Type Checking by Domain Analysis in Ampersand",

author = "S.M.M. Joosten and S.J.C. Joosten",

year = "2015",

doi = "10.1007/978-3-319-24704-5_14",

language = "English",

isbn = "9783319247038",

series = "Lecture Notes in Computer Science (LNCS) series",

publisher = "Springer Nature Switzerland AG",

pages = "225--240",

editor = "Wolfram Kahl and Michael Winter and Jos{\'e} Oliveira",

booktitle = "Relational and Algebraic Methods in Computer Science",

address = "Switzerland",

note = "15th International Relational and Algebraic Methods in Computer Science, RAMICS 2015 ; Conference date: 28-09-2015 Through 01-10-2015",

url = "https://ramics2015.di.uminho.pt/",

}

Joosten, SMM & Joosten, SJC 2015, Type Checking by Domain Analysis in Ampersand. in W Kahl, M Winter & J Oliveira (eds), Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Springer Nature Switzerland AG, Cham, Lecture Notes in Computer Science (LNCS) series, vol. 9348, Theoretical Computer Science and General Issues (LNCS subseries), vol. 9348, pp. 225-240, 15th International Relational and Algebraic Methods in Computer Science, Braga, Portugal, 28/09/15. https://doi.org/10.1007/978-3-319-24704-5_14

Type Checking by Domain Analysis in Ampersand. / Joosten, S.M.M.; Joosten, S.J.C.
Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. ed. / Wolfram Kahl; Michael Winter; José Oliveira. Cham: Springer Nature Switzerland AG, 2015. p. 225-240 (Lecture Notes in Computer Science (LNCS) series, Vol. 9348). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9348).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Type Checking by Domain Analysis in Ampersand

AU - Joosten, S.M.M.

AU - Joosten, S.J.C.

N1 - Conference code: 15th

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-24704-5_14

DO - 10.1007/978-3-319-24704-5_14

M3 - Conference Article in proceeding

SN - 9783319247038

T3 - Lecture Notes in Computer Science (LNCS) series

SP - 225

EP - 240

BT - Relational and Algebraic Methods in Computer Science

A2 - Kahl, Wolfram

A2 - Winter, Michael

A2 - Oliveira, José

PB - Springer Nature Switzerland AG

CY - Cham

T2 - 15th International Relational and Algebraic Methods in Computer Science

Y2 - 28 September 2015 through 1 October 2015

ER -

Joosten SMM, Joosten SJC. Type Checking by Domain Analysis in Ampersand. In Kahl W, Winter M, Oliveira J, editors, Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Cham: Springer Nature Switzerland AG. 2015. p. 225-240. (Lecture Notes in Computer Science (LNCS) series, Vol. 9348). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9348). doi: 10.1007/978-3-319-24704-5_14