Pulse एक्सप्लोर nav.journalClub बहसें ट्रेंडिंग शोधकर्ता

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

होम एक्सप्लोर nav.journalClub ट्रेंडिंग

⌘+K

Gregory J. Duck | Synapse

GJ

Gregory J. Duck

Logic, programming, and type systems

National University of Singapore

About

Research focus

Logic, programming, and type systems

Impact

55 pubs · 1,705 cites · h-index 16

Affiliations

Publications