Jim Lipton

Prof. of Computer Science, Dept. of Mathematics & Computer Science, Wesleyan University.

Home address in Middletown:

25 Highland Terrace,

Middletown, CT 06457

Mar. 2016 Résumé

Selected publications

Current or recent COMPUTER SCIENCE course descriptions

Research Topics

Relational Programming, Categories and Logic Programming, Intuitionistic Semantics, Constructive set theory, Linear Logic.

• Wesleyan University

• Information Technology Services at Wesleyan
• University Libraries

• CLIP: Computational Logic, Implementation, and Parallelism Lab Technical University of Madrid.
• University of Cambridge Computer Lab
• University of Pisa (di.unipi.it) Department of Computer Science

  HOME PAGE

• Oxford Computing Lab home page
• CMU Computer Science

• Computer Science Bibliography Glimpse Server

Some internet resources in Computing

Some internet resources in Computational Logic and Logic Programming

The World Wide Web Virtual Library:

Formal Methods ...
--- [568] http://www.comlab.ox.ac.uk/archive/logic-prog.html (32K)

The Association for Logic Programming - ALP

• "More computing sins are committed in the name of efficiency (without necessarily achieving it) than for any other single reason - including blind stupidity." W.A. Wulf
• "We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil." Donald Knuth
• "The best is the enemy of the good." Voltaire
• "The love of liberty is the love of others; the love of power is the love of ourselves." William Hazlitt

Other resources

Wesleyan University