`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:

### Wrote 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.