Fredrik Dahlqvist

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 29

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Gabryel Mason-Williams, Fredrik Dahlqvist
What Makes a Good Prune? Maximal Unstructured Pruning for Maximal Cosine Similarity. ICLR (2024)
Fredrik Dahlqvist, Alexandra Silva, William Smith
Deterministic stream-sampling for probabilistic programming: semantics and verification. CoRR (2023)
Fredrik Dahlqvist, Renato Neves
The syntactic side of autonomous categories enriched over generalised metric spaces. Log. Methods Comput. Sci. 19 (4) (2023)
Fredrik Dahlqvist, Alexandra Silva, William Smith
Deterministic stream-sampling for probabilistic programming: semantics and verification. LICS (2023)
Fredrik Dahlqvist, Renato Neves
A Complete V-Equational System for Graded lambda-Calculus. CoRR (2023)
Fredrik Dahlqvist, Renato Neves
The syntactic dual of autonomous categories enriched over generalised metric spaces. CoRR (2022)
Fredrik Dahlqvist, Renato Neves
An Internal Language for Categories Enriched over Generalised Metric Spaces. CSL (2022)
Fredrik Dahlqvist, Todd Schmid
How to Write a Coequation ((Co)algebraic pearls). CALCO (2021)
George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. CAV (2) (2021)
Fredrik Dahlqvist, Renato Neves
An Internal Language for Categories Enriched over Generalised Metric Spaces. CoRR (2021)
George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. CoRR (2021)
Fredrik Dahlqvist, Todd Schmid
How to write a coequation. CoRR (2021)
Fredrik Dahlqvist, Dexter Kozen
Semantics of higher-order probabilistic programs with conditioning. Proc. ACM Program. Lang. 4 (POPL) (2020)
Fredrik Dahlqvist, Rocco Salvia, George A. Constantinides
A Probabilistic Approach to Floating-Point Arithmetic. ACSSC (2019)
Fredrik Dahlqvist, Rocco Salvia, George A. Constantinides
A Probabilistic Approach to Floating-Point Arithmetic. CoRR (2019)
Fredrik Dahlqvist, Dexter Kozen
Semantics of higher-order probabilistic programs with conditioning. CoRR (2019)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva
Borel Kernels and their Approximation, Categorically. CoRR (2018)
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
Layer by Layer - Combining Monads. ICTAC (2018)
Fredrik Dahlqvist, Renato Neves
Compositional semantics for new paradigms: probabilistic, hybrid and beyond. CoRR (2018)
Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier
Borel Kernels and their Approximation, Categorically. MFPS (2018)
Fredrik Dahlqvist, Alexander Kurz
The positivication of coalgebraic logics. CoRR (2018)
Fredrik Dahlqvist, Alexander Kurz
The Positivication of Coalgebraic Logics. CALCO (2017)
Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier
Pointless Learning. FoSSaCS (2017)
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
Layer by layer - Combining Monads. CoRR (2017)
Fredrik Dahlqvist, David J. Pym
Coalgebraic completeness-via-canonicity for distributive substructural logics. J. Log. Algebraic Methods Program. 93 (2017)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar
Bayesian Inversion by ω-Complete Cone Duality. CONCUR (2016)
Fredrik Dahlqvist
Coalgebraic Completeness-via-Canonicity - Principles and Applications. CMCS (2016)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier
Robustly Parameterised Higher-Order Probabilistic Models. CONCUR (2016)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier
Giry and the Machine. MFPS (2016)
Fredrik Dahlqvist, David J. Pym
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. RAMiCS (2015)
Fredrik Dahlqvist
Completeness-via-canonicity for coalgebraic logics. CoRR (2015)
Fredrik Dahlqvist, David J. Pym
Completeness via canonicity for distributive substructural logics: a coalgebraic perspective. CoRR (2015)
Fredrik Dahlqvist, Dirk Pattinson
Some Sahlqvist Completeness Results for Coalgebraic Logics. FoSSaCS (2013)
Fredrik Dahlqvist, Dirk Pattinson
On the Fusion of Coalgebraic Logics. CALCO (2011)

Fredrik Dahlqvist.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fredrik Dahlqvist