Types and programs from Euler diagrams

Research output: Contribution to conferenceAbstract

Abstract

Type theory provides a formal basis for programming languages and can also be used to model reasoning systems such as Euler diagrams. We present part of a simple type theory of Euler diagrams. Expressing a system of reasoning with Euler diagrams as a collection of types and operations on types (which correspond to diagrams and reasoning rules) is a first step towards embedding visually modelled constraints directly into the type system of a programming language.
Original languageEnglish
Pages357-359
Number of pages3
DOIs
Publication statusPublished - 1 Jan 2008
EventDiagrams '08: 5th international conference on diagrammatic representation and inference - Herrsching, Germany, 19-21 September, 2008
Duration: 1 Jan 2008 → …

Conference

ConferenceDiagrams '08: 5th international conference on diagrammatic representation and inference
Period1/01/08 → …

Fingerprint

Computer programming languages

Cite this

Burton, J. (2008). Types and programs from Euler diagrams. 357-359. Abstract from Diagrams '08: 5th international conference on diagrammatic representation and inference, . https://doi.org/10.1007/978-3-540-87730-1_35
Burton, James. / Types and programs from Euler diagrams. Abstract from Diagrams '08: 5th international conference on diagrammatic representation and inference, .3 p.
@conference{d164a3e08ffd4e14b8f1da4ace5259b9,
title = "Types and programs from Euler diagrams",
abstract = "Type theory provides a formal basis for programming languages and can also be used to model reasoning systems such as Euler diagrams. We present part of a simple type theory of Euler diagrams. Expressing a system of reasoning with Euler diagrams as a collection of types and operations on types (which correspond to diagrams and reasoning rules) is a first step towards embedding visually modelled constraints directly into the type system of a programming language.",
author = "James Burton",
year = "2008",
month = "1",
day = "1",
doi = "10.1007/978-3-540-87730-1_35",
language = "English",
pages = "357--359",
note = "Diagrams '08: 5th international conference on diagrammatic representation and inference ; Conference date: 01-01-2008",

}

Burton, J 2008, 'Types and programs from Euler diagrams' Diagrams '08: 5th international conference on diagrammatic representation and inference, 1/01/08, pp. 357-359. https://doi.org/10.1007/978-3-540-87730-1_35

Types and programs from Euler diagrams. / Burton, James.

2008. 357-359 Abstract from Diagrams '08: 5th international conference on diagrammatic representation and inference, .

Research output: Contribution to conferenceAbstract

TY - CONF

T1 - Types and programs from Euler diagrams

AU - Burton, James

PY - 2008/1/1

Y1 - 2008/1/1

N2 - Type theory provides a formal basis for programming languages and can also be used to model reasoning systems such as Euler diagrams. We present part of a simple type theory of Euler diagrams. Expressing a system of reasoning with Euler diagrams as a collection of types and operations on types (which correspond to diagrams and reasoning rules) is a first step towards embedding visually modelled constraints directly into the type system of a programming language.

AB - Type theory provides a formal basis for programming languages and can also be used to model reasoning systems such as Euler diagrams. We present part of a simple type theory of Euler diagrams. Expressing a system of reasoning with Euler diagrams as a collection of types and operations on types (which correspond to diagrams and reasoning rules) is a first step towards embedding visually modelled constraints directly into the type system of a programming language.

U2 - 10.1007/978-3-540-87730-1_35

DO - 10.1007/978-3-540-87730-1_35

M3 - Abstract

SP - 357

EP - 359

ER -

Burton J. Types and programs from Euler diagrams. 2008. Abstract from Diagrams '08: 5th international conference on diagrammatic representation and inference, . https://doi.org/10.1007/978-3-540-87730-1_35