Modal types as staging specifications for run-time code generation

dc.contributor.author	Wickline Philip
dc.contributor.author	Lee Peter
dc.contributor.author	Pfenning Frank
dc.contributor.author	Davies Rowan
dc.date.accessioned	2018-01-16T18:50:54Z
dc.date.available	2018-01-16T18:50:54Z
dc.date.issued	1998
dc.identifier.uri	http://hdl.handle.net/123456789/6277
dc.format	application/pdf
dc.title	Modal types as staging specifications for run-time code generation
dc.type	journal-article
dc.source.volume	30
dc.source.issue	3es
dc.source.journal	ACM Computing Surveys