Label dependent lambda calculus and gradual typing. - Weili Fu; Fabian Krause; Peter Thiemann 001 (Proc. ACM Program. Lang., 2021)

Artifact for Label Dependent Lambda Calculus and Gradual Typing. - Fabian Krause; Weili Fu; Peter Thiemann 001 (Zenodo, 2021)

End-to-End Policy Learning of a Statistical Arbitrage Autoencoder Architecture. - Fabian Krause; Jan-Peter Calliess (CoRR, 2024)