"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
"The Lux Programming Language" by Eduardo Julian Strange Loop Conference
"Why We Built Our Own Distributed Column Store" by Sam Stokes Strange Loop Conference
1. What is Computation? MIT OpenCourseWare
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne Strange Loop Conference
"Categories for the Working Hacker" by Philip Wadler Strange Loop Conference
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram Strange Loop Conference
Datalog all the way down - Christopher Small ClojureTV
Navid Hashemi - LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers Boston Computation Club
Learn SQL in 1 Hour - SQL Basics for Beginners Joey Blue
Datahike - ((de)composing persistent datalog for everybody) JobTech Development
"Kotlin: Uncovered" by Victoria Gonda Strange Loop Conference
Knowledge Graphs Construction using Small Language Models Pupusse LINCS
DOMAIN MODELING WITH DATALOG by Norbert Wojtowicz #pivorak Lviv Ruby MeetUp
"Dependent Types in Haskell" by Stephanie Weirich Strange Loop Conference
"Morel, a functional query language" by Julian Hyde Strange Loop Conference
3. Apache Kafka Fundamentals | Apache Kafka Fundamentals Confluent
A Crash Course in Category Theory - Bartosz Milewski ScalaIO FR
Bitemporal Databases: What They Are and Why They Matter (with James Henderson of XTDB) Developer Voices
"Exotic Functional Data Structures: Hitchhiker Trees" by David Greenberg Strange Loop Conference