Pulse استكشاف nav.journalClub النقاشات الرائج الباحثون المجلات

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

Download on theApp Store

الرئيسية استكشاف nav.journalClub الرائج

⌘+K

Martin C. Carlisle | Synapse

MC

Martin C. Carlisle

Logic, programming, and type systems

Mitchell Institute

About

Research focus

Logic, programming, and type systems

Impact

73 pubs · 1,510 cites · h-index 18

Affiliations

Publications