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 » user account

WolfTivy

view
track

History

Member for:
10 years 42 weeks

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 2021
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

Loop and recursion
A problem about programming with macros vs Kernel F-exprs
Is there an existing name for my higher-order function?
Object graph 'integrals'
Cognition and Coding

more

New forum topics

A problem about programming with macros vs Kernel F-exprs
Loop and recursion
Object graph 'integrals'
Cognition and Coding
looking for dependent research proof system language implemented in C++