Strictification of lazy functions

J.A.B.V. Saraiva, S.D. Swierstra, M.F. Kuiper, M. Pennings

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	Utrecht, the Netherlands
Publisher	Utrecht University: Information and Computing Sciences
Volume	1996-51
Edition	UU-CS
ISBN (Print)	0924-3275
Publication status	Published - 1996

Keywords

@book{f656d261393f483ea02d8f5226570e86,

title = "Strictification of lazy functions",

keywords = "Wiskunde en Informatica (WIIN)",

author = "J.A.B.V. Saraiva and S.D. Swierstra and M.F. Kuiper and M. Pennings",

year = "1996",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "1996-51",

publisher = "Utrecht University: Information and Computing Sciences",

edition = "UU-CS",

}