"hazel: A Live Functional Programming Environment With Typed Holes" By Cyrus Omar

2019 44:23
Synopsis
When programming, we spend a substantial amount of our time working on programs that are not yet complete. For example ...

You Might Also Like

Hazel - Edited 0:12
Hazel - Edited
2019
Livelits: Filling Typed Holes with Live GUIs 20:26
Livelits: Filling Typed Holes With Live Guis
2020
[OOPSLA23] Live Pattern Matching with Typed Holes 18:59
[oopsla23] Live Pattern Matching With Typed Holes
2025
Projectional Functional Demos 30:50
Projectional Functional Demos
2023
"A Little Taste of Dependent Types" by David Christiansen 38:36
"a Little Taste Of Dependent Types" By David Christiansen
2019
Investigating the Impact of Using a Live Programming Environment in a CS1 Course 16:16
Investigating The Impact Of Using A Live Programming Environ...
2023
Tools for "more humane coding" 3:30
Tools For "more Humane Coding"
2022
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.