About 20 results for "UCwG9512Wm7jSS6Iqshz4Dpg"

[CONFLANG23] Cached call-by-name: incremental evaluation of configurations

ACM SIGPLAN • Feb 18, 2024

[PLS23] Local-First in Practice: Learnings of building a high-performance, local-first mus...

ACM SIGPLAN • Feb 17, 2024

[Erlang'23] Invited Talk: A Type System for Elixir

ACM SIGPLAN • Dec 13, 2023

[FUNARCH'23] Functional Programming in the Large - Status and Perspective

ACM SIGPLAN • Dec 10, 2023

Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types

ACM SIGPLAN • Sep 25, 2020

Ask Me Anything with Richard Gabriel, hosted by Stephen Kell

ACM SIGPLAN • Sep 25, 2020

Ask Me Anything with Bjarne Stroustrup, hosted by John Regehr

ACM SIGPLAN • Sep 24, 2020

Stacked Borrows - An Aliasing Model for Rust

ACM SIGPLAN • Sep 12, 2020

A formal proof of the independence of the continuum hypothesis

ACM SIGPLAN • Jul 3, 2020