Jan Stolarek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2012–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | PLDI | FreezeML: complete and easy type inference for first-class polymorphism. | Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates |
| 2020 | SIGCSE | A Modular, Practical Test for a Programming Course. | Jan Stolarek, Przemyslaw Nowak |
| 2019 | MPC | Verified Self-Explaining Computation. | Jan Stolarek, James Cheney |
| 2015 | HASKELL | Injective type families for Haskell. | Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg |
| 2014 | HASKELL | Promoting functions to type families in Haskell. | Richard A. Eisenberg, Jan Stolarek |
| 2012 | SOFSEM | Improving Watermark Resistance against Removal Attacks Using Orthogonal Wavelet Adaptation. | Jan Stolarek, Piotr Lipinski |