"Datafun: a functional query language" by Michael Arntzenius

"Datafun: a functional query language" by Michael Arntzenius
Share:

Download MP3


Similar Tracks

"Code Generating a Safer Web with Rocket" by Sergio Benitez Strange Loop Conference
"Morel, a functional query language" by Julian Hyde Strange Loop Conference
Bitemporal Databases: What They Are and Why They Matter (with James Henderson of XTDB) Developer Voices
A Crash Course in Category Theory - Bartosz Milewski ScalaIO FR
Think Fast, Talk Smart: Communication Techniques Stanford Graduate School of Business
DOMAIN MODELING WITH DATALOG by Norbert Wojtowicz #pivorak Lviv Ruby MeetUp
"Why We Built Our Own Distributed Column Store" by Sam Stokes Strange Loop Conference
"The Lux Programming Language" by Eduardo Julian Strange Loop Conference
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne Strange Loop Conference
Datalog all the way down - Christopher Small ClojureTV
"Categories for the Working Hacker" by Philip Wadler Strange Loop Conference
Knowledge Graphs Construction using Small Language Models Pupusse LINCS
KotlinConf 2018 - Datomic: The Most Innovative DB You've Never Heard Of by August Lilleaas JetBrains
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram Strange Loop Conference
1. What is Computation? MIT OpenCourseWare
CompTIA Network+ Certification Video Course PowerCert Animated Videos
Navid Hashemi - LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers Boston Computation Club
"Kotlin: Uncovered" by Victoria Gonda Strange Loop Conference
"Dependent Types in Haskell" by Stephanie Weirich Strange Loop Conference
"Exotic Functional Data Structures: Hitchhiker Trees" by David Greenberg Strange Loop Conference