Lambda the Ultimate

The Programming Languages Weblog

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

sean

view
track

Personal information

Country:
US

Gender:
male

History

Member for:
8 years 48 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 2013
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

A reversible Javascript interpreter
Osmosian
Janus: A Time-Reversible Language
TypeScript: Design-Time tool for Application-scale JavaScript development
Genealogical Diagrams broken link

New forum topics

Janus: A Time-Reversible Language
Genealogical Diagrams broken link
Osmosian
ANN: Emerging Languages and Strange Loop 2013
Dimensional Analysis in real world and Type Systems

Recent comments

extant debuggers
12 min 10 sec ago
yup
14 min 18 sec ago
¿did you read the source material?
29 min 51 sec ago
See Roshan P. James and Amr Sabry's recent POPL paper
1 hour 47 min ago
Verification tools
2 hours 12 min ago
Yeah it is.
2 hours 23 min ago
Non-determinism
2 hours 59 min ago
Reverse diverges on many plain functions
3 hours 41 min ago
You can't program in English
4 hours 53 min ago
Verification Tools
8 hours 23 min ago