Future of Haskell: Dependent types

Future of Haskell: Dependent types

The Future of Programming with Richard EisenbergПодробнее

The Future of Programming with Richard Eisenberg

Dependent Types with David Christiansen – Functional FuturesПодробнее

Dependent Types with David Christiansen – Functional Futures

Dependent Haskell with Vladislav ZavialovПодробнее

Dependent Haskell with Vladislav Zavialov

BOB 2021 Andor Penzes - STG Backend for Idris2Подробнее

BOB 2021 Andor Penzes - STG Backend for Idris2

"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013)Подробнее

'Scala vs Idris: Dependent types, now and in the future' by Miles Sabin and Edwin Brady (2013)

f(by) 2020: Dependent types, Vitaly BragilevskyПодробнее

f(by) 2020: Dependent types, Vitaly Bragilevsky

What Haskell taught us when we were not looking! by Eric TorreborreПодробнее

What Haskell taught us when we were not looking! by Eric Torreborre

John Leo: Dependent Types in GHCПодробнее

John Leo: Dependent Types in GHC

Types vs Tests : An Epic Battle?Подробнее

Types vs Tests : An Epic Battle?

Future of Haskell: Refinment typesПодробнее

Future of Haskell: Refinment types

Dependent Types in Haskell: Present and FutureПодробнее

Dependent Types in Haskell: Present and Future

События