Ruler: Programming Type Rules

A. Dijkstra, S.D. Swierstra

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	onbekend
Publisher	UU WINFI Informatica en Informatiekunde
Volume	2005-033
Edition	CS-UU
Publication status	Published - 2005

Keywords

@book{bd6949faf28f4223ba799d1e568e8b7a,

title = "Ruler: Programming Type Rules",

keywords = "Wiskunde en Informatica (WIIN)",

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

note = "dijkstra05ruler",

year = "2005",

language = "Undefined/Unknown",

volume = "2005-033",

publisher = "UU WINFI Informatica en Informatiekunde",

edition = "CS-UU",

}