Popular repositories Loading

1. ANF-to-MonadLC ANF-to-MonadLC Public

   Interpreting Algebraic Effects Through Monads.

   Haskell 3

2. TE-Infer-SSA TE-Infer-SSA Public

   Forked from leorigon/TE-Infer-SSA

   Compiler prototype for infer types and effects in a functional language with a syntax of imperative languages.

   Haskell 2

3. Udesc_class Udesc_class Public

   Codes

   C

4. Monitoria-Haskell Monitoria-Haskell Public

   Listas de Monitoria de Programação Funcional

   Haskell

5. Type-System-Classes Type-System-Classes Public

   Códigos para as aulas de Sistema de Tipos

   Haskell

6. Pierce-Implementations Pierce-Implementations Public

   Implementações do livro Type Systems and Programming Languages

   Haskell