@string{popl98="Proceedings of the 25th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, San Diego, California"}

@inproceedings{Shields/popl/98
,author="Mark Shields and Tim Sheard and Simon {Peyton Jones}"
,title="Dynamic Typing as Staged Type Inference"
,booktitle=popl98
,month="Jan"
,year="1998"
,pages="289--302"
}