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:
| Domain-specific Abstractions for Algorithmic Graph Processing
Next:
Jaro Reinders | Universes and relative indexed monads for type safe syntax and semantics