Travelled to:
1 × France
Collaborated with:
P.Urzyczyn
Talks about:
fixpoint (1) recurs (1) type (1) iter (1)
Person: Zdzislaw Splawski
DBLP: Splawski:Zdzislaw
Contributed to:
Wrote 1 papers:
- ICFP-1999-SplawskiU #fixpoint #recursion
- Type Fixpoints: Iteration vs. Recursion (ZS, PU), pp. 102–113.