Pulse Explorer nav.journalClub Débats Tendances Chercheurs

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

Download on theApp Store

Accueil Explorer nav.journalClub Tendances

⌘+K

John Backus | Synapse

JB

John Backus

Logic, programming, and type systems

Association for Computing Machinery

About

Research focus

Logic, programming, and type systems

Impact

30 pubs · 5,969 cites · h-index 22

Affiliations

Work Experience

Association for Computing Machinery

2015 - 2015

Penn Center for AIDS Research

2015 - 2015

IBM (United States)

1973 - 2007

University of San Francisco

1979 - 1998

IBM Research - Thomas J. Watson Research Center

1964 - 1964

Publications