Jan Stolarek

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