Julia, types, and property based testing
Valentin Bogad
Date: Wed, November 29, 2023
Time: 12:00
Room: Turing
In this presentation, we’re going to learn the basics of the Julia type system, where some possible places for expansion are and how that ties into property based testing of Julia code.
Previous:
| Defining higher-order algebraic effects interface for WebDSL
Next:
Jaro Reinders | Universes and relative indexed monads for type safe syntax and semantics