Dominic Egger: Dynamic Logic for verifiable data collection processes - HaskellerZ September 2023

Поделиться
HTML-код
  • Опубликовано: 21 дек 2024

Комментарии • 1

  • @r_mra
    @r_mra 4 месяца назад

    The presentation was very good, but you didn't put any links in the description of the video.
    If you have any link from that work, from his thesis, it would be great. 👌
    Thanks

Следующие
Автовоспроизведение
Auke Booij: What are exact real numbers? - HaskellerZ November 20231:27:28Auke Booij: What are exact real numbers? - HaskellerZ November 2023
Auke Booij: What are exact real numbers? - HaskellerZ November 2023Zürich Friends of Haskell
Просмотров 404
Cazim Hysi - Why is Haskell Haskell? - June 2022 - HaskellerZ59:52Cazim Hysi - Why is Haskell Haskell? - June 2022 - HaskellerZ
Cazim Hysi - Why is Haskell Haskell? - June 2022 - HaskellerZZürich Friends of Haskell
Просмотров 771
Advanced Track: Optics in the abstract by Adam Gundry @ZuriHac212:57:36Advanced Track: Optics in the abstract by Adam Gundry @ZuriHac21
Advanced Track: Optics in the abstract by Adam Gundry @ZuriHac21Zürich Friends of Haskell
Просмотров 2 тыс.
How To Get Dragon Race Part 1 + Full Guide In Blox Fruits Update 2405:01How To Get Dragon Race Part 1 + Full Guide In Blox Fruits Update 24
How To Get Dragon Race Part 1 + Full Guide In Blox Fruits Update 24Builderboy TV
Просмотров 373 тыс.
Blox Fruits Dragon Rework Update [Full Stream]6:01:02Blox Fruits Dragon Rework Update [Full Stream]
Blox Fruits Dragon Rework Update [Full Stream]MeEnyu
Просмотров 2,1 млн
Death Of A Unicorn | Official Trailer HD | A2402:18Death Of A Unicorn | Official Trailer HD | A24
Death Of A Unicorn | Official Trailer HD | A24A24
Просмотров 1,2 млн
I 3D Printed a $1,500 Chair23:09I 3D Printed a $1,500 Chair
I 3D Printed a $1,500 ChairMorley Kert
Просмотров 327 тыс.
Marco Perone: CREM: Composable Representable Executable Machines - HaskellerZ April 20231:07:45Marco Perone: CREM: Composable Representable Executable Machines - HaskellerZ April 2023
Marco Perone: CREM: Composable Representable Executable Machines - HaskellerZ April 2023Zürich Friends of Haskell
Просмотров 531
Eliane Schmidli -- An Introduction to Functional Reactive Programming and Yampa - HaskellerZ 2/202358:35Eliane Schmidli -- An Introduction to Functional Reactive Programming and Yampa - HaskellerZ 2/2023
Eliane Schmidli -- An Introduction to Functional Reactive Programming and Yampa - HaskellerZ 2/2023Zürich Friends of Haskell
Просмотров 918
Eliane Schmidli: Hardware Control using Haskell - HaskellerZ July 202350:13Eliane Schmidli: Hardware Control using Haskell - HaskellerZ July 2023
Eliane Schmidli: Hardware Control using Haskell - HaskellerZ July 2023Zürich Friends of Haskell
Просмотров 814
Does Conservation Action Work? | Dr Jake Bicknell | #DICETalks49:56Does Conservation Action Work? | Dr Jake Bicknell | #DICETalks
Does Conservation Action Work? | Dr Jake Bicknell | #DICETalksDurrell Institute of Conservation and Ecology
Просмотров 135
Artyom Kuznetsov - GHC: Dependency Analysis of Haskell Declarations41:34Artyom Kuznetsov - GHC: Dependency Analysis of Haskell Declarations
Artyom Kuznetsov - GHC: Dependency Analysis of Haskell DeclarationsZürich Friends of Haskell
Просмотров 795
Advanced Track: Understanding Memory Usage with eventlog2html and ghc-debug @ZuriHac213:04:30Advanced Track: Understanding Memory Usage with eventlog2html and ghc-debug @ZuriHac21
Advanced Track: Understanding Memory Usage with eventlog2html and ghc-debug @ZuriHac21Zürich Friends of Haskell
Просмотров 1,5 тыс.
DeSci Labs Forum 12.17.24 | DeSci CODEX with Edvard Hübinette1:20:29DeSci Labs Forum 12.17.24 | DeSci CODEX with Edvard Hübinette
DeSci Labs Forum 12.17.24 | DeSci CODEX with Edvard HübinetteDeSci Labs
Просмотров 14
M. Etter & F. Mehta: Towards Type-Directed API Search for Mainstream Languages37:02M. Etter & F. Mehta: Towards Type-Directed API Search for Mainstream Languages
M. Etter & F. Mehta: Towards Type-Directed API Search for Mainstream LanguagesZürich Friends of Haskell
Просмотров 131
Make Bitcoin Cypherpunk Again! - TABConf 628:44Make Bitcoin Cypherpunk Again! - TABConf 6
Make Bitcoin Cypherpunk Again! - TABConf 6TABConf (The Atlanta Bitcoin Conference)
Просмотров 208
Почему женщины выбирают ЭТО?36:45Почему женщины выбирают ЭТО?
Почему женщины выбирают ЭТО?katyakonasova
Просмотров 217 тыс.
Реакция Газана на танец Анджилиши00:12Реакция Газана на танец Анджилиши
Реакция Газана на танец АнджилишиGazan
Просмотров 228 тыс.
100% real 🤝#Ligue1 #Barcola #Fortnite #PSG #Ligue1McDonalds @psg00:10100% real 🤝#Ligue1 #Barcola #Fortnite #PSG #Ligue1McDonalds @psg
100% real 🤝#Ligue1 #Barcola #Fortnite #PSG #Ligue1McDonalds @psgLigue 1 McDonald’s
Просмотров 7 млн
Какая лапка круче? Poli оценивает лапки под трек Котик00:10Какая лапка круче? Poli оценивает лапки под трек Котик
Какая лапка круче? Poli оценивает лапки под трек КотикPOLI
Просмотров 256 тыс.
Сумасшедшая история близнецов. Детство и юность, которых никогда не было45:01Сумасшедшая история близнецов. Детство и юность, которых никогда не было
Сумасшедшая история близнецов. Детство и юность, которых никогда не былоAgatha Christie
Просмотров 61 тыс.
HELLUVA BOSS - SINSMAS // S2: Episode 12 -FINALE29:05HELLUVA BOSS - SINSMAS // S2: Episode 12 -FINALE
HELLUVA BOSS - SINSMAS // S2: Episode 12 -FINALEVivziepop
Просмотров 6 млн
«Крошка Цахес» | Путинизм как он есть #211:18:37«Крошка Цахес» | Путинизм как он есть #21
«Крошка Цахес» | Путинизм как он есть #21Острый Угол
Просмотров 79 тыс.
Cамый НЕВЕРОЯТНЫЙ СПИДРАН в истории Марио! Team 0%.38:25Cамый НЕВЕРОЯТНЫЙ СПИДРАН в истории Марио! Team 0%.
Cамый НЕВЕРОЯТНЫЙ СПИДРАН в истории Марио! Team 0%.БУЛДЖАТь
Просмотров 633 тыс.