People of Interest

A list of people who seem interesting and might be good guests.

PureScript Library/App Authors/Contributors

• David Peter - insect.sh, cube-composer, ps-quantities, ps-flare - Contacted by alex.d.berg1 12/12/18 "Participate in PureScript podcast?"
• Harry Garrood - Pursuit, PS numeric hierarchy, ps-sequences

Professors/Instructors

University of Minnesota

• Antonia Zhai - Compiler design
• Eric Van Wyk - Extensible languages/compilers
• Stephen McCamant - Program analysis for security
• Gopalan Nadathur - λProlog
• Mats Heimdahl - Model-based programming
• Favonia - Homotopy Type Theory, Agda - Contacted by alex.d.berg1 12/12/18 about LambdaConf '19, contact about podcast later.