@inproceedings{Siek06gradualtyping,
	title = {Gradual typing for functional languages},
	booktitle = {{IN} {SCHEME} {AND} {FUNCTIONAL} {PROGRAMMING} {WORKSHOP}},
	author = {Siek, Jeremy G. and Taha, Walid},
	year = {2006},
	note = {ZSCC: 0000374 },
	keywords = {⛔ No DOI found},
	pages = {81--92}
}