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

nat

view
track

Personal information

Country:
UK

Gender:
male

Interests:

(Embedded) Domain Specific Languages
Test Driven Development

History

Member for:
16 years 13 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

« September 2020
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

What is a type?
Use Cases for Shared-Memory Concurrency?
Is character as a type meaningless?
Godel and Meta-Circularity
Tackling the Awkward Squad for Reactive Programming

New forum topics

What is a type?
Tackling the Awkward Squad for Reactive Programming
Godel and Meta-Circularity
Use Cases for Shared-Memory Concurrency?
Async/await vs coroutines?

Recent comments

Intrinsic and extrinsic
1 day 18 hours ago
implementation approach
2 days 14 hours ago
re deep freeze
2 days 15 hours ago
deep freeze
3 days 15 hours ago
Use Cases for Parallel Update of Memory
4 days 13 hours ago
Reynolds
4 days 15 hours ago
I have apparently been misusing terms
4 days 18 hours ago
Depends on level of abstraction...
4 days 19 hours ago
Self-Verifying Theories
5 days 8 hours ago
codepoints; extrinsic types
5 days 10 hours ago