@techreport{Shields/tr/97
,author="Mark Shields and Tim Sheard and Simon {Peyton Jones}"
,title="Dynamic Typing as Staged Type Inference"
,institution="University of Glasgow, Department of Computing Science"
,year="1997"
,month="Aug"
,number="TR-1997-26"
}