1. 16
    Do Be Do Be Do: Exploring Frank, a functional language featuring a bidirectional effect type system pdf compsci programming arxiv.org
    Snocrash avatar via Snocrash 1 year ago | cached | 1 comment

  1.  

  2. 3
    gasche avatar gasche 1 year ago | link

    See the Lambda-the-Ultimate presentation (and upcoming discussion) which presents more context on the work.