Stop the war!
Остановите войну!
for scientists:
default search action
4th TyDe 2019: Berlin, Germany
- David Darais, Jeremy Gibbons:
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019. ACM 2019, ISBN 978-1-4503-6815-5
Papers
- Koen Jacobs, Andreas Nuyts, Dominique Devriese:
How to do proofs: practically proving properties about effectful programs' results (functional pearl). 1-13 - Guillaume Allais:
Generic level polymorphic n-ary functions. 14-26 - Liam O'Connor:
Deferring the details and deriving programs. 27-39 - Sean Innes, Nicolas Wu:
Tic tac types: a gentle introduction to dependently typed programming (functional pearl). 40-51 - Stefan Monnier:
Inductive types deconstructed: the calculus of united constructions. 52-63 - Peter-Michael Osera:
Constraint-based type-directed program synthesis. 64-76
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.