Jacques Carette

Generate all the things (focusing on research software)

Working on a language that 1) encapsulates other languages, 2) integrates pragmatic concerns of languages.

Where we explore more interesting data types than just fixed points of polynomials

System benchmarking for proof assistants