Sat Sep 20 19:34:40 CEST 2008

typed scheme


occurence typing:

The key feature of occurrence typing is the ability of the type system
to assign distinct types to distinct occurrences of a variable based
on control flow criteria. You can think of it as a generalization of
the way pattern matching on algebraic datatypes works.