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 | 8872 reads
|
Browse archivesActive forum topics |
Recent comments
36 weeks 1 day ago
36 weeks 2 days ago
36 weeks 2 days ago
1 year 6 weeks ago
1 year 10 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago
1 year 14 weeks ago
1 year 19 weeks ago
1 year 19 weeks ago