BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Filinski:Andrzej

Contributed to:

ICFP 20112011
POPL 20102010
ICFP 20072007
FoSSaCS 20042004
TLCA 20012001
POPL 19991999
PPDP 19991999
POPL 19941994
POPL 19921992
LFP 19901990

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.
Abstracting Control (OD, AF), pp. 151–160.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.