Dependent Types

12 Dezembro 2017, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

  • The Idris language
  • Types and Functions
  • Dependent types, useful datatypes
  • Example: The Well-Typed Interpreter