Edge Rewrite
// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a2559fc71a80cfc3

Jump to content

Talk:SASL (programming language)

Page contents not supported in other languages.
Add topic
From Wikipedia, the free encyclopedia
Latest comment: 14 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