Jan Stolarek

According to our database, Jan Stolarek authored at least 11 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Constraint-based type inference for FreezeML.

Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley

Proc. ACM Program. Lang., 2022

2020

A Modular, Practical Test for a Programming Course.

Jan Stolarek, Przemyslaw Nowak

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

FreezeML: complete and easy type inference for first-class polymorphism.

Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Verified Self-Explaining Computation.

Jan Stolarek, James Cheney

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

Language-integrated provenance in Haskell.

Jan Stolarek, James Cheney

Art Sci. Eng. Program., 2018

2017

Imperative functional programs that explain their work.

Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney

Proc. ACM Program. Lang., 2017

2015

Injective type families for Haskell.

Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Promoting functions to type families in Haskell.

Richard A. Eisenberg, Jan Stolarek

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2012

Adaptive Wavelet Synthesis for Improving Digital Image Watermarking.

Jan Stolarek

Proceedings of the Towards Modern Collaborative Knowledge Sharing Systems, 2012

Improving Watermark Resistance against Removal Attacks Using Orthogonal Wavelet Adaptation.

Jan Stolarek, Piotr Lipinski

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

2011

Digital Watermarking Enhancement Using Wavelet Filter Parametrization.

Piotr Lipinski, Jan Stolarek

Proceedings of the Adaptive and Natural Computing Algorithms, 2011