Signin

"Super Haskell": an introduction to Agda by André Muricy

Func Prog Sweden • October 25, 2023

Video Thumbnail

You May Also Like

Video Thumbnail

Circular Reasoning in Haskell by Tom Harding

Func Prog Sweden

Video Thumbnail

Monads are everywhere... Maybe that's bad? by Till Schröder

Func Prog Sweden

Video Thumbnail

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Fullstack Academy

Video Thumbnail

Introduction to Roc Programming Language by Richard Feldman

Func Prog Sweden

Video Thumbnail

David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On

Curry On!

Video Thumbnail

Algebraic Effects from Scratch by Kit Langton

Func Prog Sweden

Video Thumbnail

Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types

ACM SIGPLAN

Video Thumbnail

Dependent Types - salvation or plague | Lambda Days 2021

Code Sync

Video Thumbnail

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

GOTO Conferences

Video Thumbnail

"Building Haskell Programs with Fused Effects" by Patrick Thomson

Strange Loop Conference

Video Thumbnail

Idris 2: Quantitative Types in Action - Edwin Brady

Fission

Video Thumbnail

"Propositions as Types" by Philip Wadler

Strange Loop Conference

Video Thumbnail

Eliminating Run-Time Errors with Agda - Computerphile

Computerphile

Video Thumbnail

Edwin Brady - Idris 2 - Type-driven Development of Idris

Curry On!

Video Thumbnail

C++ Features You Might Not Know - Jonathan Müller - C++ on Sea 2023

cpponsea

Video Thumbnail

ATS: Why Linear Types are the Future of Systems Programming

Berlin Functional Programming Group

Video Thumbnail

Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021

Code Sync

Video Thumbnail

An Introduction to Categories with Haskell and Databases - Ryan Holbrook: OKC FP

Techlahoma

Video Thumbnail

Scott Fleischman: Agda from Nothing Part 1 - λC 2016

LambdaConf

Video Thumbnail

A Taste of Type Theory • Bartosz Milewski • YOW! 2019

GOTO Conferences

Func Prog Sweden

About

No channel description available.

Latest Posts

Video Thumbnail

Local-first software development with Elixir by James Arthur

Func Prog Sweden

Video Thumbnail

EYG a predictable, and useful, programming language by Peter Saxton

Func Prog Sweden

Video Thumbnail

Beyond Lambda Calculus: Relational Computations by Marcos Magueta

Func Prog Sweden

Video Thumbnail

Polylith - the last architecture you will ever need by Joakim Tengstrand and Furkan Bayraktar

Func Prog Sweden