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 | 8735 reads
|
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 3 days ago
51 weeks 3 days ago