ScalaCon (@scalacon) 's Twitter Profile
ScalaCon

@scalacon

A series of virtual #Scala conferences by @ScalaDays, @ScalaeXchange, @47deg, @Skillsmatter

Elevate your Scala skills at #ScalaCon.

ID: 1346524850295164930

linkhttp://www.scalacon.org/ calendar_today05-01-2021 18:33:02

546 Tweet

935 Takipçi

13 Takip Edilen

ScalaCon (@scalacon) 's Twitter Profile Photo
ScalaCon
@scalacon

3 years ago

In this talk from ScalaCon, Dragana presents an automated approach for formally verifying the correctness of functional programming assignments, and also demonstrates the effectiveness of this approach through various Scala exercises. youtu.be/WDhOAI-ODwA #Scala