TransLucid: Higher-order Indexical ISWIM | TransLucid and Cartesian Programming

Hide threads | Keyboard Shortcuts

cartesianprogramming 12:22 on 2020/07/14 Permalink Reply
TransLucid: Higher-order Indexical ISWIM
The paper presenting TransLucid and its semantics is now ready: TransLucid: Higher-order Indexical ISWIM
Share this:
Twitter
Facebook
Like this:
Like Loading...

Related
Reply Cancel reply
Required fields are marked *

Name *

Email *

Website

Notify me of new comments via email.
Notify me of new posts via email.
Δ

c: Compose new post
j: Next post/Next comment
k: Previous post/Previous comment
r: Reply
e: Edit
o: Show/Hide comments
t: Go to top
l: Go to login
h: Show/Hide help
shift + esc: Cancel

%d bloggers like this: