Theory for context-aware programming languages with interactive playground

  • ๐Ÿ“” The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.

    TeX 16 1 Updated Jan 17, 2017
  • ๐Ÿ“ Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

    JavaScript 25 6 Updated Sep 7, 2016
  • ๐Ÿ“ˆ Analysing the data from coeffects playground

    F# Updated Aug 7, 2016
  • ๐Ÿ’พ Web application for logging how users interact with the Coeffect playground

    F# Updated Feb 7, 2016