Not registered as user
Name:Leonardo de Moura
Affiliation:Microsoft Research, n.n.
Personal website: http://leodemoura.github.io/
Contributions
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