Services
BiotechFintechAutonomous Vehicles
Open sourceContactCareersBlog
Blog
21 October 2021
Why write a type-checking plugin?
Why would you want to write a type-checking plugin? Many limitations of the GHC type-checker are exposed here.
13 October 2021
Denotational Homomorphic Testing
Property test a denotational model of a data structure.
Interested in working at Tweag?Join us
See our work
  • Biotech
  • Fintech
  • Autonomous vehicles
  • Open source
Tweag
Tweag HQ → 207 Rue de Bercy — 75012 Paris — France
[email protected]
© 2020 Tweag. All rights reserved
Privacy Policy