| Promoting functions to type families in Haskell RA Eisenberg, J Stolarek ACM SIGPLAN Notices 49 (12), 95-106, 2014 | 37 | 2014 |
| Injective type families for Haskell J Stolarek, S Peyton Jones, RA Eisenberg ACM SIGPLAN Notices 50 (12), 118-128, 2015 | 26 | 2015 |
| Imperative functional programs that explain their work W Ricciotti, J Stolarek, R Perera, J Cheney Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017 | 22 | 2017 |
| Freezeml: Complete and easy type inference for first-class polymorphism F Emrich, S Lindley, J Stolarek, J Cheney, J Coates Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 15 | 2020 |
| Improving watermark resistance against removal attacks using orthogonal wavelet adaptation J Stolarek, P Lipiński SOFSEM 2012: Theory and Practice of Computer Science, 588-599, 2012 | 15 | 2012 |
| Improving energy compaction of a wavelet transform using genetic algorithm and fast neural network J Stolarek Archives of Control Sciences 20 (4), 417-433, 2010 | 10 | 2010 |
| Adaptive synthesis of a wavelet transform using fast neural network J Stolarek Bulletin of the Polish Academy of Sciences. Technical Sciences 59 (1), 9-13, 2011 | 8 | 2011 |
| Improving digital watermarking fidelity using fast neural network for adaptive wavelet synthesis J Stolarek, P Lipiński Journal of Applied Computer Science 18 (1), 61-74, 2010 | 8 | 2010 |
| Language-integrated provenance in Haskell J Stolarek, J Cheney arXiv preprint arXiv:1803.10202, 2018 | 6 | 2018 |
| Digital watermarking enhancement using wavelet filter parametrization P Lipiński, J Stolarek International Conference on Adaptive and Natural Computing Algorithms, 330-339, 2011 | 6 | 2011 |
| On properties of a lattice structure for a wavelet filter bank implementation: Part I J Stolarek Journal of Applied Computer Science 19 (1), 85-116, 2011 | 5 | 2011 |
| Realization of Daubechies transform using lattice structure J Stolarek The Collection of Scientific Works of ISDMCI 2, 188-192, 2009 | 4 | 2009 |
| Fast neural network for synthesis and implementation of orthogonal wavelet transform J Stolarek, M Yatsymirskyy transformation 500, 1, 2009 | 4 | 2009 |
| Constraint-based type inference for FreezeML F Emrich, J Stolarek, J Cheney, S Lindley Proceedings of the ACM on Programming Languages 6 (ICFP), 570-595, 2022 | 3 | 2022 |
| The use of heuristic algorithms: A case study of a card game K Lichy, M Mazur, J Stolarek, P Lipiński Journal of Applied Computer Science 26 (2), 107-116, 2018 | 2 | 2018 |
| Understanding basic Haskell error messages J Stolarek The Monad. Reader, 21-41, 2012 | 2 | 2012 |
| Synthesis of a wavelet transform using neural network J Stolarek XI Int. PhD Workshop OWD, Conference Archives PTETiS 26, 2009 | 2 | 2009 |
| Identyfikacja użytkownika na podstawie analizy linii papilarnych J Stolarek Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej, Łódź http …, 2008 | 2 | 2008 |
| A Modular, Practical Test for a Programming Course J Stolarek, P Nowak Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | 1 | 2020 |
| The virtues of semi-explicit polymorphism F Emrich, S Lindley, J Stolarek Extended abstract presented at the ML workshop@ ICFP, 2020 | 1 | 2020 |
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
