1. 7

  2. 3

    I hope some people submit talks about formal languages or type checkers or kinds of formal logic systems or how to think of types as something which isn’t sets.

    1. 2

      I was considering sending a proposal to present FreeSpec, but I couldn’t find what guidelines these proposals shall comply with :\.

      1. 1

        Aren’t the guidelines nicely described in the linked page? Topics and formats are there. There’s also a LambdaConf chatroom and proposal review group on the FP slack, if you’d like to ask questions there.