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

Kevin Greer

view
track

History

Member for:
12 years 49 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

« May 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	31

Active forum topics

Finding Solutions vs. Verifying Solutions
A refutation of Gödel's first incompleteness theorem
Any thoughts on WanaDecrypt0r?
SW verification continues
Prove: 'Cont r a = (a -> r) -> r' forms a monad

more

New forum topics

SW verification continues
Finding Solutions vs. Verifying Solutions
the type of eval in Shen
Any thoughts on WanaDecrypt0r?
Prove: 'Cont r a = (a -> r) -> r' forms a monad