[<<][staapl][>>][..]
Sat Sep 20 19:34:40 CEST 2008

typed scheme

http://lambda-the-ultimate.org/node/2622

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.



[Reply][About]
[<<][staapl][>>][..]