scholarly journals Dependently typed Haskell in industry (experience report)

2019 ◽  
Vol 3 (ICFP) ◽  
pp. 1-16 ◽  
Author(s):  
David Thrane Christiansen ◽  
Iavor S. Diatchki ◽  
Robert Dockins ◽  
Joe Hendrix ◽  
Tristan Ravitch
Sign in / Sign up

Export Citation Format

Share Document