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 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  1. 3
    gasche avatar gasche 6 years ago | link

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