Media Summary: With Aditya "Deech" Siram! This talk will explore why ATS, a Are you tired of inconsistent data? Struggling with forgotten function calls? Dealing with errors in destructors? Learn how Mojo ... Artem is a PhD student in computer science at Northeastern University, advised by Professor Jan Vitek. Prior to joining the Khoury ...

Linear Types For Circuit Design In Haskell Clash - Detailed Analysis & Overview

With Aditya "Deech" Siram! This talk will explore why ATS, a Are you tired of inconsistent data? Struggling with forgotten function calls? Dealing with errors in destructors? Learn how Mojo ... Artem is a PhD student in computer science at Northeastern University, advised by Professor Jan Vitek. Prior to joining the Khoury ...

Photo Gallery

Linear types for circuit design in Haskell/Clash
A tour of linear types and linear base by Divesh Otwani
Linear Types – Constantine Ter-Matevosian
Arnaud Spiwack - Linear Types for Distributed Programming (HaskellX 2017)
ATS: Why Linear Types are the Future of Systems Programming
Gergo Erdi - Executable, Synthesizable, Human Readable: Pick Three
Haskell 2021 - Why Functional Programming with Linear Types Matters
Clash Pong running on real FPGA
Flappy Square: Flappy Birds FPGA circuit written in Haskell / Clash
The hidden superpowers of linear types: how linear types control the future and prevent bugs
Artem Pelenitsyn - Linear Haskell
Understanding Type Classes in Haskell
Sponsored
View Detailed Profile
Linear types for circuit design in Haskell/Clash

Linear types for circuit design in Haskell/Clash

Making the case for using

A tour of linear types and linear base by Divesh Otwani

A tour of linear types and linear base by Divesh Otwani

In this talk, I'll briefly present what

Linear Types – Constantine Ter-Matevosian

Linear Types – Constantine Ter-Matevosian

In this video, we explore

Arnaud Spiwack - Linear Types for Distributed Programming (HaskellX 2017)

Arnaud Spiwack - Linear Types for Distributed Programming (HaskellX 2017)

This video is part of the

ATS: Why Linear Types are the Future of Systems Programming

ATS: Why Linear Types are the Future of Systems Programming

With Aditya "Deech" Siram! This talk will explore why ATS, a

Sponsored
Gergo Erdi - Executable, Synthesizable, Human Readable: Pick Three

Gergo Erdi - Executable, Synthesizable, Human Readable: Pick Three

Special thanks to the

Haskell 2021 - Why Functional Programming with Linear Types Matters

Haskell 2021 - Why Functional Programming with Linear Types Matters

https://icfp21.sigplan.org/details/haskellsymp-2021/12/Why-Functional-Programming-with-

Clash Pong running on real FPGA

Clash Pong running on real FPGA

Demo from my

Flappy Square: Flappy Birds FPGA circuit written in Haskell / Clash

Flappy Square: Flappy Birds FPGA circuit written in Haskell / Clash

Demo of https://github.com/gergoerdi/

The hidden superpowers of linear types: how linear types control the future and prevent bugs

The hidden superpowers of linear types: how linear types control the future and prevent bugs

Are you tired of inconsistent data? Struggling with forgotten function calls? Dealing with errors in destructors? Learn how Mojo ...

Artem Pelenitsyn - Linear Haskell

Artem Pelenitsyn - Linear Haskell

Artem is a PhD student in computer science at Northeastern University, advised by Professor Jan Vitek. Prior to joining the Khoury ...

Understanding Type Classes in Haskell

Understanding Type Classes in Haskell

An exploration into

Clash: A Practical Haskell to Circuit Compiler

Clash: A Practical Haskell to Circuit Compiler

Speaker: Christiaan Baaij.