Let's continue with Dale Miller's "Unification under a Mixed Prefix"

Jan 31, 2022 · San Francisco, United States of America

Let's continue working through Dale Miller's "Unification under a Mixed Prefix" (https://www.lix.polytechnique.fr/~dale/papers/jsc92.pdf) and then get together to discuss it.

We'll post the link to the meeting on this page shortly before the scheduled start of the meeting.

Event organizers
  • SF Types, Theorems, and Programming Languages

    Have you been writing software for a while and now want to go deeper into the philosophy and mechanics of programming languages? Have you been hearing about things like automated theorem proving, hybrid type checking, gradual types, and wondering whether you'll be finding them soon in mainstream programming languages? Are you interested out-of-the-mainstream programming language paradigms like logic programming? Have you heard mathematical-sounding terms like lambda calculus and pi calculus, and wondering

    Recent Events

Are you organizing Let's continue with Dale Miller's "Unification under a Mixed Prefix"?

Claim the event and start manage its content.

I am the organizer

based on 0 reviews

Featured Events