Ruler: Programming Type Rules

A. Dijkstra, S.D. Swierstra

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

Original language	Undefined/Unknown
Title of host publication	Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006
Publisher	Springer
Pages	30-46
Number of pages	17
DOIs	https://doi.org/10.1007/11737414_4
Publication status	Published - 2006

Access to Document

@inproceedings{6dc0cf4fc7e84e59aa39243d315ced7c,

title = "Ruler: Programming Type Rules",

author = "A. Dijkstra and S.D. Swierstra",

note = "dijkstra06ruler 22nd European Workshop on Computational Geometry",

year = "2006",

doi = "10.1007/11737414_4",

language = "Undefined/Unknown",

pages = "30--46",

booktitle = "Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006",

publisher = "Springer",

address = "Germany",

}

TY - GEN

T1 - Ruler: Programming Type Rules

AU - Dijkstra, A.

AU - Swierstra, S.D.

N1 - dijkstra06ruler 22nd European Workshop on Computational Geometry

PY - 2006

Y1 - 2006

U2 - 10.1007/11737414_4

DO - 10.1007/11737414_4

M3 - Conference contribution

SP - 30

EP - 46

BT - Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006

PB - Springer

ER -