[<<][compsci][>>][..]
Mon Sep 21 09:45:47 CEST 2009

The Design and Implementation of Typed Scheme

Based on occurence typing: assigning distinct subtypes based on the
control flow of the program.  This is based on the observation that
Scheme programmers often use flow-oriented reasoning: distinguishing
types based on prior operations.

[1] http://www.ccs.neu.edu/scheme/pubs/popl08-thf.pdf



[Reply][About]
[<<][compsci][>>][..]