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

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

Download on theApp Store

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

⌘+K

Lúıs Damas | Synapse

LD

Lúıs Damas

Logic, programming, and type systems

Link Consulting

About

Research focus

Logic, programming, and type systems

Impact

49 pubs · 2,548 cites · h-index 12

Affiliations

Work Experience

Link Consulting

2012 - 2012

Universidade do Porto

1989 - 2011

University of Edinburgh

1982 - 1982

Publications