Type Checking by Domain Analysis in Ampersand

S.M.M. Joosten*, S.J.C. Joosten

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationRelational and Algebraic Methods in Computer Science
Subtitle of host publication15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
EditorsWolfram Kahl, Michael Winter, José Oliveira
Place of PublicationCham
PublisherSpringer Nature Switzerland AG
Chapter14
Pages225-240
Number of pages16
ISBN (Electronic)9783319247045
ISBN (Print)9783319247038
DOIs
Publication statusPublished - 2015
Event15th International Relational and Algebraic Methods in Computer Science - Hotel do Parque, Braga, Portugal
Duration: 28 Sep 20151 Oct 2015
Conference number: 15th
https://ramics2015.di.uminho.pt/

Publication series

SeriesLecture Notes in Computer Science (LNCS) series
Volume9348
ISSN0302-9743
SeriesTheoretical Computer Science and General Issues (LNCS subseries)
Volume9348

Conference

Conference15th International Relational and Algebraic Methods in Computer Science
Abbreviated titleRAMICS 2015
CountryPortugal
CityBraga
Period28/09/151/10/15
Internet address

Cite this