• Leon – An Automated System for Synthesizing and Verifying Scala Programs http://leon.epfl.ch/ 5 comments 10/1/2015

• Leon: Generate and verify Scala programs from formal constraints http://leon.epfl.ch/ 3 comments 11/12/2015 scala
• Higher-kinded types in Pure Scala http://leon.epfl.ch/ 3 comments 26/7/2015 scala

Linking pages

Related searches:

Search whole site: site:leon.epfl.ch

Search title: Leon Online

See how to search.