Pulse Entdecken nav.journalClub Debatten Trends Forschende

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

Download on theApp Store

Start Entdecken nav.journalClub Trends

⌘+K

John Lamping | Synapse

JL

John Lamping

Logic, programming, and type systems

Palo Alto Research Center

About

Research focus

Logic, programming, and type systems

Impact

52 pubs · 5,738 cites · h-index 28

Affiliations

Work Experience

Palo Alto Research Center

1990 - 2005

Xerox (United States)

1992 - 1995

Association for Computing Machinery

1993 - 1993

Stanford University

1988 - 1988

Hewlett-Packard (United States)

1982 - 1983

Publications