Talk:SASL (programming language)
This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||
|
Untyped?[edit]
I believe that SASL *was* typed. Cardelli's famous paper 'Phase Distinctions in Type Theory' shows dependently-typed functions in SASL. — Preceding unsigned comment added by 75.166.163.132 (talk) 16:55, 5 April 2012 (UTC)