Lambda the Ultimate

Home
Feedback
FAQ
Getting Started
Discussions
Site operation discussions
Recent Posts
(new topic)
Departments
Courses
Research Papers
Design Docs
Quotations
Genealogical Diagrams
Archives

User login

Username:

Password:

Create new account
Request new password

Navigation

recent posts

Home

Departments

Admin
Critiques
Fun
General
History
Implementation
- Cross language runtimes
Misc Books
Paradigms
Meta-Programming
Parallel/Distributed
Scientific Programming
Software Engineering
Teaching & Learning
Theory
DSL
Spotlight
XML
Guest Bloggers

By Anton van Straaten at 2004-06-29 23:45 | other blogs | 133753 reads

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation

Browse archives

« June 2017
Su	Mo	Tu	We	Th	Fr	Sa
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30

Active forum topics

C runtime type info gimmick which supports scripting
What would be involved in moving logic beyond FOL?
Restructor: Full Program Automatic Refactoring
Abstractionless programming
SK Calculus not Consider SeKsy?

more

New forum topics

C runtime type info gimmick which supports scripting
What would be involved in moving logic beyond FOL?
Restructor: Full Program Automatic Refactoring
Free links to all (or practically all) recent SIGPLAN papers
SW verification continues