Jump to content

Talk:SASL (programming language)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Untyped?

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]