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

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

« January 2022
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	31

Active forum topics

CUE: An open-source data validation language
Cicada language -- a new dependently typed language
Shen Standard Library
Do names and symbols really imply semantics? If so what to do about it?
Trojan Source: Unicode Bidi Algorithm abuses in source code

more

New forum topics

Cicada language -- a new dependently typed language
CUE: An open-source data validation language
Shen Standard Library
Trojan Source: Unicode Bidi Algorithm abuses in source code
The Book of Shen 4th edition is now available online.