Andrzej Filinski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
1992–2016
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICFP | Streaming nested data parallelism on multicores. | Frederik M. Madsen, Andrzej Filinski |
| 2013 | ICFP | Towards a streaming model for nested data parallelism. | Frederik M. Madsen, Andrzej Filinski |
| 2011 | ICFP | Towards a comprehensive theory of monadic effects. | Andrzej Filinski |
| 2010 | POPL | Monads in action. | Andrzej Filinski |
| 2009 | GI | A Game-Theoretic Model for Distributed Programming by Contract. | Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski |
| 2007 | ICFP | Inductive reasoning about effectful data types. | Andrzej Filinski, Kristian Stvring |
| 2006 | MPC | Monadic Reflection in Haskell. | Andrzej Filinski |
| 2004 | FOSSACS | A Denotational Account of Untyped Normalization by Evaluation. | Andrzej Filinski, Henning Korsholm Rohde |
| 1999 | POPL | Representing Layered Monads. | Andrzej Filinski |
| 1999 | PPDP | A Semantic Account of Type-Directed Partial Evaluation. | Andrzej Filinski |
| 1994 | POPL | Representing Monads. | Andrzej Filinski |
| 1992 | POPL | Linear Continuations. | Andrzej Filinski |