Reasoning about types and code in functional programs & Art of asking questions

Speakers are not defined.

Check the Reasoning about types and code in functional programs & Art of asking questions website for more details.