Registered user since Sun 5 Oct 2025
Name:Mário Silva
Country:France
Affiliation:LMF, CNRS, Université Paris-Saclay
Personal website: https://sites.google.com/view/mariosilva
Contributions
ICFP 2026-profile
View general profile
View general profile
ICFP 2026
Mon 24 - Sat 29 August 2026 Indianapolis, Indiana, United States
- Attending
- Program
- Tracks
- Workshops
- (Watch Party) OCaml Users and Developers Workshop
- Erlang Erlang Workshop
- FARM Functional Art, Music, Modelling and Design
- FUNARCH Functional Software Architecture
- HOPE Higher-Order Programming with Effects
- LOPSTR+PPDP Logic-Based Synthesis + Declarative Programming
- miniKanren miniKanren and Relational Programming
- ML Family Higher-order, Typed, Inferred, Strict
- PLMW @ ICFP PL Mentoring Workshop
- Scheme Scheme and Functional Programming
- Co-hosted Symposia
- Haskell Haskell Symposium
- Organization
- ICFP 2026 Committees
- Distinguished Papers Committee
- Organising Committee
- Steering Committee
- Track Committees
- ICFP Artifacts
- ICFP Papers
- ICFP Tutorials
- ICFP Volunteers
- ICFP Workshops
- ICFP SRC
- Contributors
- People Index
- Workshops
- (Watch Party) OCaml Users and Developers Workshop
- Erlang Erlang Workshop
- FARM Functional Art, Music, Modelling and Design
- FUNARCH Functional Software Architecture
- HOPE Higher-Order Programming with Effects
- LOPSTR+PPDP Logic-Based Synthesis + Declarative Programming
- miniKanren miniKanren and Relational Programming
- ML Family Higher-order, Typed, Inferred, Strict
- PLMW @ ICFP PL Mentoring Workshop
- Scheme Scheme and Functional Programming
- Co-hosted Symposia
- Haskell Haskell Symposium
- Search
- Series