Följ
Jan Stolarek
Jan Stolarek
BinarApps sp. z o.o.
Verifierad e-postadress på binarapps.com - Startsida
Titel
Citeras av
Citeras av
År
Promoting functions to type families in Haskell
RA Eisenberg, J Stolarek
ACM SIGPLAN Notices 49 (12), 95-106, 2014
372014
Injective type families for Haskell
J Stolarek, S Peyton Jones, RA Eisenberg
ACM SIGPLAN Notices 50 (12), 118-128, 2015
252015
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
212017
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
152012
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
112020
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
102010
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
82011
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
82010
Language-integrated provenance in Haskell
J Stolarek, J Cheney
arXiv preprint arXiv:1803.10202, 2018
62018
Digital watermarking enhancement using wavelet filter parametrization
P Lipiński, J Stolarek
International Conference on Adaptive and Natural Computing Algorithms, 330-339, 2011
62011
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
52011
Realization of Daubechies transform using lattice structure
J Stolarek
The Collection of Scientific Works of ISDMCI 2, 188-192, 2009
42009
Fast neural network for synthesis and implementation of orthogonal wavelet transform
J Stolarek, M Yatsymirskyy
transformation 500, 1, 2009
42009
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
32022
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
22018
Understanding basic Haskell error messages
J Stolarek
The Monad. Reader, 21-41, 2012
22012
Synthesis of a wavelet transform using neural network
J Stolarek
XI Int. PhD Workshop OWD, Conference Archives PTETiS 26, 2009
22009
Identyfikacja użytkownika na podstawie analizy linii papilarnych
J Stolarek
Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej, Łódź http …, 2008
22008
The virtues of semi-explicit polymorphism
F Emrich, S Lindley, J Stolarek
Extended abstract presented at the ML workshop@ ICFP, 2020
12020
Injective type families for Haskell (extended version)
J Stolarek, SP Jones, RA Eisenberg
Politechnika Łódzka Technical Report, 2015
12015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20