<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>Start with the Typed Scheme guide. That's your best bet -- Matthias</div><div><br></div><div><br></div><div><br></div><div><br></div><br><div><div>On Dec 12, 2009, at 12:52 PM, <a href="mailto:keydana@gmx.de">keydana@gmx.de</a> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Hi Matthias,</div><div><br></div><div><br></div><div><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><blockquote type="cite">to other pressing, urgent matters like counting the number of<br></blockquote><blockquote type="cite">continuations that can dance on the head of a pin.<br></blockquote><br><br>For the answer, see<span class="Apple-converted-space">&nbsp;</span><br><br><a href="http://www.ccs.neu.edu/home/matthias/presentations.html">http://www.ccs.neu.edu/home/matthias/presentations.html</a><br><br>seven or eight talks down :-)<span class="Apple-converted-space">&nbsp;</span></span></blockquote><br></div><div><br></div><div><br></div>I couldn't of course resist following the link and so I stumbled over another presentation&nbsp;<div><br></div><div>&nbsp;<span class="Apple-style-span" style="font-family: Times; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px; ">From Soft Scheme to Typed Scheme</span></div><div><br></div><div>which seems to contain what I'd like to learn about scheme &amp; types. Do you perhaps also have a more detailed ("text") version (the slides alone will be hard to understand I guess)?</div><div><br></div><div>If not, I'll start with the general papers you mentioned in the other thread.</div><div><br></div><div>Ciao,</div><div>Sigrid</div></div></blockquote></div><br></body></html>