Talk:SASL (programming language)

Latest comment: 12 years ago by 75.166.163.132 in topic Untyped?

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)Reply