Name: Dependent types in Scala
Start: 2018-10-25T19:00:00+02:00
End: 2018-10-25T21:00:00+02:00
Location: EPFL BC Building, Room BC410

Olivier Blanvillain and Georg Schmid will talk about Dependent types in Scala and their latest developement. The talk will last for about 30 minutes followed by questions, discussions and drinks.

André Videla

Formal Methods and Verified software meetup

Technology

Programming Languages

Haskell

Functional Programming

Computer Programming

Category Theory

Type Systems

Type Theory

Functors and Monads

Agda

Idris

Proof Assistants

Dependently Typed Programming

George Zakhour

Loïc Wisniewski

Maxime Kjaer

Nathan Greffe

Dependent types in Scala

EPFL BC Building, Room BC410

Share this event

Dependent types in Scala

Details