Pulse 탐색 nav.journalClub 토론 트렌드 연구자

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

Download on theApp Store

홈 탐색 nav.journalClub 트렌드

⌘+K

Robert L. Constable | Synapse

RL

Robert L. Constable

Logic, programming, and type systems

Cornell University

About

Research focus

Logic, programming, and type systems

Impact

187 pubs · 3,624 cites · h-index 31

Affiliations

Work Experience

Cornell University

1969 - 2024

Laboratoire d'Informatique de Paris-Nord

1985 - 2014

Heriot-Watt University

2003 - 2003

Ithaca College

1982 - 1982

University of Washington

1977 - 1977

Publications