The slide set for "Compiling PL/SQL Away" that I presented at #CIDR2020: http://db.inf.uni-tuebingen.de/staticfiles/slides/compiling-PLSQL-away.pdf …
More details at https://db.inf.uni-tuebingen.de/publications/CompilingPL-SQLAway.html ….
[ Another slide set entirely based on @CasualEffects's Markdeep and @fabrizioschiavi excellent Pragmata Pro font. Thank you, guys! ]
-
-
somewhat OT, but do you know any resources for compiling a typed lambda calculus to sql?
-
Not off the top of my head. That'd require relational representations of either (1) lambda terms or (2) or first-class functions, wouldn't it? Re (2), we did work on a defunctionalized representation here: http://db.inf.uni-tuebingen.de/staticfiles/publications/defunctionalization-for-plsql.pdf … and http://arxiv.org/pdf/1308.0158v1.pdf … But λ-calculus? No.
- Još 1 odgovor
Novi razgovor -
-
-
thanks Torsten
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.