User loginNavigation |
archivesBest Common Lisp IDE?As I am starting to learn Common Lisp, it would be great to do so using an easy to use environment/IDE. What would you recoomend? thanks, Wheat - A Language for Web Sites
Just stumbled across Wheat and thought people here might be vaguely interested. At first glance, a bit like Squeak via a web server. It has been mentioned only briefly before. A Tutorial on Proof Theoretic Foundations of Logic Programming
A Tutorial on Proof Theoretic Foundations of Logic Programming. Paola Bruscoli and Alessio Guglielmi. ICLP'03.
I just glanced through this tutorial, but since I know quite a few LtU readers are into proof theory, I thought I'd share the link. By Ehud Lamm at 2005-03-20 22:17 | Logic/Declarative | Theory | 2 comments | other blogs | 8765 reads
|
Browse archivesActive forum topics |
Recent comments
22 weeks 11 hours ago
22 weeks 15 hours ago
22 weeks 15 hours ago
44 weeks 1 day ago
48 weeks 3 days ago
50 weeks 23 hours ago
50 weeks 23 hours ago
1 year 4 days ago
1 year 5 weeks ago
1 year 5 weeks ago