Travelled to:1 × Germany
1 × Japan
1 × Poland
2 × France
2 × Spain
3 × USA
Collaborated with:∅ K.Støvring H.K.Rohde O.Danvy
Talks about:monad (4) evalu (3) account (2) repres (2) normal (2) effect (2) type (2) comprehens (1) calculus (1) abstract (1)
Person: Andrzej Filinski
DBLP: Filinski:Andrzej
Contributed to:
2011
20102007
2004
20011999
199919941992
1990Wrote 10 papers:
- ICFP-2011-Filinski #monad #towards
- Towards a comprehensive theory of monadic effects (AF), p. 1.
- POPL-2010-Filinski #monad
- Monads in action (AF), pp. 483–494.
- ICFP-2007-FilinskiS #data type #induction #reasoning
- Inductive reasoning about effectful data types (AF, KS), pp. 97–110.
- FoSSaCS-2004-FilinskiR #evaluation #normalisation
- A Denotational Account of Untyped Normalization by Evaluation (AF, HKR), pp. 167–181.
- TLCA-2001-Filinski #evaluation #normalisation #λ-calculus
- Normalization by Evaluation for the Computational λ-Calculus (AF), pp. 151–165.
- POPL-1999-Filinski #monad #representation
- Representing Layered Monads (AF), pp. 175–188.
- PPDP-1999-Filinski #partial evaluation #semantics
- A Semantic Account of Type-Directed Partial Evaluation (AF), pp. 378–395.
- POPL-1994-Filinski #monad #representation
- Representing Monads (AF), pp. 446–457.
- POPL-1992-Filinski #continuation #linear
- Linear Continuations (AF), pp. 27–38.
- LFP-1990-DanvyF
- Abstracting Control (OD, AF), pp. 151–160.