Jan Stolarek

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 11

Top Topics

Functional Programming

Programming Course

Inference Process

Bayesian Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Constraint-based type inference for FreezeML. CoRR (2022)
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Constraint-based type inference for FreezeML. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Jan Stolarek, Przemyslaw Nowak
A Modular, Practical Test for a Programming Course. SIGCSE (2020)
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. CoRR (2020)
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
FreezeML: complete and easy type inference for first-class polymorphism. PLDI (2020)
Jan Stolarek, James Cheney
Verified Self-Explaining Computation. MPC (2019)
Jan Stolarek, James Cheney
Verified Self-Explaining Computation. CoRR (2019)
Jan Stolarek, James Cheney
Language-integrated provenance in Haskell. Art Sci. Eng. Program. 2 (3) (2018)
Jan Stolarek, James Cheney
Language-integrated provenance in Haskell. CoRR (2018)
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Imperative Functional Programs that Explain their Work. CoRR (2017)
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Imperative functional programs that explain their work. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg
Injective type families for Haskell. Haskell (2015)
Richard A. Eisenberg, Jan Stolarek
Promoting functions to type families in Haskell. Haskell (2014)
Jan Stolarek, Piotr Lipinski
Improving Watermark Resistance against Removal Attacks Using Orthogonal Wavelet Adaptation. SOFSEM (2012)
Piotr Lipinski, Jan Stolarek
Digital Watermarking Enhancement Using Wavelet Filter Parametrization. ICANNGA (1) (2011)