Julien Tesson

Latest

• Interactive Bulk Synchronous Parallel Functional Programming in a Browser
• Calculating Parallel Programs in Coq Using List Homomorphisms