Travelled to:1 × Sweden
1 × The Netherlands
Collaborated with:∅ R.Garcia É.Tanter
Talks about:effect (2) gradual (1) theori (1) system (1) blame (1) take (1) side (1)
Person: Felipe Bañados Schwerter
DBLP: Schwerter:Felipe_Ba=ntilde=ados
Contributed to:
2014
2016Wrote 2 papers:
- ICFP-2014-SchwerterGT #formal method
- A theory of gradual effect systems (FBS, RG, ÉT), pp. 283–295.
- SLE-2016-Schwerter
- Side effects take the blame (FBS), pp. 195–206.