Talk:SASL (programming language)
Appearance
![]() | Computing Unassessed | |||||||||
|
Untyped?
I believe that SASL *was* typed. Cardelli's famous paper 'Phase Distinctions in Type Theory' shows dependently-typed functions in SASL.
![]() | Computing Unassessed | |||||||||
|
I believe that SASL *was* typed. Cardelli's famous paper 'Phase Distinctions in Type Theory' shows dependently-typed functions in SASL.