ICFP 2021
Sun 22 - Sat 28 August 2021
Mon 23 Aug 2021 04:14 - 04:17 at HIW - Applications and Closing Chair(s): Edsko de Vries

Mon 23 Aug

Displayed time zone: Seoul change

03:30 - 05:00
Applications and ClosingHIW at HIW
Chair(s): Edsko de Vries Well-Typed LLP
03:30
22m
Talk
Securing Web-Applications with A Refinement Typed ORM
HIW
Nico Lehmann University of California, San Diego, Rose Kunkel University of California, San Diego, Niki Vazou IMDEA Software Institute, Nadia Polikarpova University of California at San Diego, Deian Stefan University of California at San Diego, USA, Ranjit Jhala University of California at San Diego
03:52
22m
Talk
Generics for Hardware: Adding Haskell-inspired Generics to Bluespec
HIW
04:14
3m
Talk
Closing
HIW
Ningning Xie University of Toronto