Registered user since Tue 14 Jul 2020
Name:Žiga Lukšič
Contributions
| ICFP 2020 | Local algebraic effect theories | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2020-profile
View general profile
View general profile
- Attending
- Program
- Tracks
- Workshops
- Erlang
- FARM
- FHPNC (cancelled)
- HIW
- HOPE
- ML
- OCaml
- PLMW @ ICFP
- Scheme
- TyDe
- miniKanren
- Co-hosted Symposia
- Haskell
- Organization
- ICFP 2020 Committees
- Organizing Committee
- Steering Committee
- Virtualization Committee
- Track Committees
- ICFP Program
- Tutorials
- Student Research Competition
- Artifact Evaluation
- Student Volunteering
- Mentoring
- Contributors
- People Index
- Search
- Series