Login / Signup
Fabian Krause
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 2
Top Topics
Admission Control
Production System
Lambda Calculus
Multipath
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Fabian Krause
,
Jan-Peter Calliess
End-to-End Policy Learning of a Statistical Arbitrage Autoencoder Architecture.
CoRR
(2024)
Weili Fu
,
Fabian Krause
,
Peter Thiemann
Label dependent lambda calculus and gradual typing.
Proc. ACM Program. Lang.
5 (OOPSLA) (2021)