sstucki/system-f-agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
AgdaMIT
Stargazers
- 511121418
- andorphttps://www.redbubble.com/shop/ap/92458473
- angusshireUC Berkeley
- bitemyapp
- bixuanzjuStandard Chartered
- BlaisorbladeBedrock Systems Inc.
- brendanzab@yeslogic
- clayratIMDEA Software
- copumpkinWashington
- CYBAITokyo
- cyberglotGlasgow, UK
- deyaaeldeen@microsoft
- dmalikov
- fferreiraLondon, UK
- hanshoglundTweag I/O
- headesAugusta University
- iomonadLutetia Parisiorum
- jfischofffal.ai
- juanbono@lambdaclass
- kyagrdKorea
- larrytheliquid@colimit-io
- linusyang
- logicshan
- marcoonroadRio de Janeiro, RJ - Brasil.
- mietek
- mrussek
- ndcroos
- NoHomeyVMware
- ocharlesCircuitHub
- PiotrJanderŁódź
- relrodRed Hat, Inc.
- scott-fleischman
- serendependy
- steinwaywhwUS
- vaibhavsagargadigal land/sydney
- yurrriq@sportradar