Conversation

Brendan Zabarauskas

This is an interesting paper - extending bidirectional type checking to allow more types to be inferred based on applied arguments:

Quote Tweet

· May 14, 2018

Xie & Oliveira: Let Arguments Go First i.cs.hku.hk/~bruno/papers/

4:03 AM · May 16, 2018Twitter Web Client

Brendan Zabarauskas

Replying to

Coq proof is here: bitbucket.org/ningningxie/le