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

adrieng

view
track

Personal information

Country:
France

Gender:
male

Interests:

Theory and practice of computer programming.

History

Member for:
13 years 44 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 19 hours ago
implementation approach
2 days 15 hours ago
re deep freeze
2 days 16 hours ago
deep freeze
3 days 16 hours ago
Use Cases for Parallel Update of Memory
4 days 14 hours ago
Reynolds
4 days 16 hours ago
I have apparently been misusing terms
4 days 19 hours ago
Depends on level of abstraction...
4 days 20 hours ago
Self-Verifying Theories
5 days 9 hours ago
codepoints; extrinsic types
5 days 11 hours ago