Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dahlqvist, Fredrik
101  Ergebnisse:
Personensuche X
?
1

Deterministic stream-sampling for probabilistic programming..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Dahlqvist, Fredrik ; Silva, Alexandra ; Smith, William - p. 1-13 , 2023
Link: https://doi.org/10.1109/..
 
?
2

A Complete V-Equational System for Graded lambda-Calculus:

Dahlqvist, Fredrik ; Neves, Renato
Electronic Notes in Theoretical Informatics and Computer Science.  3 - Proceedings of (2023)  - p. , 2023
Link: https://doi.org/10.46298..
 
?
3

Rigorous Roundoff Error Analysis of Probabilistic Floating-..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Constantinides, George ; Dahlqvist, Fredrik ; Rakamarić, Zvonimir. - p. 626-650 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Semantics of higher-order probabilistic programs with condi..:

Dahlqvist, Fredrik ; Kozen, Dexter
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-29 , 2019
Link: https://dl.acm.org/doi/1..
 
?
5

A Probabilistic Approach to Floating-Point Arithmetic:

, In: 2019 53rd Asilomar Conference on Signals, Systems, and Computers,
Dahlqvist, Fredrik ; Salvia, Rocco ; Constantinides, George A. - p. 596-602 , 2019
Link: https://doi.org/10.1109/..
 
?
6

Semantics of higher-order probabilistic programs with condi..:

Dahlqvist, Fredrik ; Kozen, Dexter
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-29 , 2019
Link: https://doi.org/10.1145/..
 
?
7

Borel Kernels and their Approximation, Categorically:

Dahlqvist, Fredrik ; Silva, Alexandra ; Danos, Vincent.
Electronic Notes in Theoretical Computer Science.  341 (2018)  - p. 91-119 , 2018
Link: https://doi.org/10.1016/..
 
?
8

Layer by Layer – Combining Monads:

, In: Theoretical Aspects of Computing – ICTAC 2018; Lecture Notes in Computer Science,
Dahlqvist, Fredrik ; Parlant, Louis ; Silva, Alexandra - p. 153-172 , 2018
Link: https://doi.org/10.1007/..
 
?
9

Coalgebraic completeness-via-canonicity for distributive su..:

Dahlqvist, Fredrik ; Pym, David
Journal of Logical and Algebraic Methods in Programming.  93 (2017)  - p. 1-22 , 2017
Link: https://doi.org/10.1016/..
 
?
10

Giry and the Machine:

Dahlqvist, Fredrik ; Danos, Vincent ; Garnier, Ilias
Electronic Notes in Theoretical Computer Science.  325 (2016)  - p. 85-110 , 2016
Link: https://doi.org/10.1016/..
 
?
11

Deterministic stream-sampling for probabilistic programming..:

Dahlqvist, Fredrik ; Silva, Alexandra ; Smith, William
http://arxiv.org/abs/2304.13504.  , 2023
Link: http://arxiv.org/abs/230..
 
?
12

A Complete V-Equational System for Graded lambda-Calculus:

Dahlqvist, Fredrik ; Neves, Renato
http://arxiv.org/abs/2304.02082.  , 2023
Link: http://arxiv.org/abs/230..
 
?
13

The syntactic side of autonomous categories enriched over g..:

Dahlqvist, Fredrik ; Neves, Renato
http://arxiv.org/abs/2208.14356.  , 2022
Link: http://arxiv.org/abs/220..
 
?
14

An Internal Language for Categories Enriched over Generalis..:

Dahlqvist, Fredrik ; Neves, Renato
doi:10.4230/LIPIcs.CSL.2022.16.  , 2022
Link: https://doi.org/10.4230/..
 
?
15

How to write a coequation:

Dahlqvist, Fredrik ; Schmid, Todd
https://discovery.ucl.ac.uk/id/eprint/10146158/1/2109.11967v1.pdf.  , 2021
Link: https://discovery.ucl.ac..
 
1-15