"Datafun: a functional query language" by Michael Arntzenius

  Рет қаралды 8,804

Strange Loop Conference

Strange Loop Conference

Күн бұрын

Пікірлер: 5
"Morel, a functional query language" by Julian Hyde
40:40
"Morel, a functional query language" by Julian Hyde
Strange Loop Conference
Рет қаралды 14 М.
"The Lux Programming Language" by Eduardo Julian
40:15
"The Lux Programming Language" by Eduardo Julian
Strange Loop Conference
Рет қаралды 11 М.
Une nouvelle voiture pour Noël 🥹
00:28
Une nouvelle voiture pour Noël 🥹
Nicocapone
Рет қаралды 9 МЛН
So Cute 🥰 who is better?
00:15
So Cute 🥰 who is better?
dednahype
Рет қаралды 19 МЛН
Этот бой - Самое большое РАЗОЧАРОВАНИЕ за всю КАРЬЕРУ БУАКАВА!
01:00
Этот бой - Самое большое РАЗОЧАРОВАНИЕ за всю КАРЬЕРУ БУАКАВА!
БЕЗУМНЫЙ СПОРТ
Рет қаралды 2 МЛН
The Best Band 😅 #toshleh #viralshort
00:11
The Best Band 😅 #toshleh #viralshort
Toshleh
Рет қаралды 22 МЛН
Bitemporal Databases: What They Are and Why They Matter (with James Henderson of XTDB)
56:44
Bitemporal Databases: What They Are and Why They Matter (with James Henderson of XTDB)
Developer Voices
Рет қаралды 2,3 М.
"Categories for the Working Hacker" by Philip Wadler
41:40
"Categories for the Working Hacker" by Philip Wadler
Strange Loop Conference
Рет қаралды 66 М.
"Why We Built Our Own Distributed Column Store" by Sam Stokes
42:41
"Why We Built Our Own Distributed Column Store" by Sam Stokes
Strange Loop Conference
Рет қаралды 14 М.
Introduction to Datalog
45:30
Introduction to Datalog
Knowledge-Based Systems, TU Dresden
Рет қаралды 12 М.
"We Really Don't Know How to Compute!" - Gerald Sussman (2011)
1:04:19
"We Really Don't Know How to Compute!" - Gerald Sussman (2011)
Strange Loop Conference
Рет қаралды 84 М.
DOMAIN MODELING WITH DATALOG by Norbert Wojtowicz
44:55
DOMAIN MODELING WITH DATALOG by Norbert Wojtowicz
#pivorak Lviv Ruby MeetUp
Рет қаралды 17 М.
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
36:58
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
Рет қаралды 23 М.
"Performance Matters" by Emery Berger
42:15
"Performance Matters" by Emery Berger
Strange Loop Conference
Рет қаралды 487 М.
"Dependent Types in Haskell" by Stephanie Weirich
38:42
"Dependent Types in Haskell" by Stephanie Weirich
Strange Loop Conference
Рет қаралды 23 М.
"Outperforming Imperative with Pure Functional Languages" by Richard Feldman
34:55
"Outperforming Imperative with Pure Functional Languages" by Richard Feldman
Strange Loop Conference
Рет қаралды 90 М.
Une nouvelle voiture pour Noël 🥹
00:28
Une nouvelle voiture pour Noël 🥹
Nicocapone
Рет қаралды 9 МЛН