Not registered as user yet
Name:Alfredo Di Napoli
Affiliation:Well-Typed LLP
Contributions
| HIW 2020 | Liquid Haskell as a GHC Plugin | ||||||||||||||||||||||||||||||||||||||||
| 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