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

Adrian Quark

view
track

History

Member for:
11 years 37 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

« February 2019
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

Active forum topics

Abstraction Tiers of Notations
Major problems with access
Paper on ParaSail published in <Programming> journal V3.3; new release also available
Looking for papers on covariance and contravariance
Video on Unison/comparison to Haskell/Monads/distributed computing

New forum topics

Major problems with access
Paper on ParaSail published in <Programming> journal V3.3; new release also available
Abstraction Tiers of Notations
Looking for papers on covariance and contravariance
Functional Design Patterns - Relating Haskell Typeclasses to Software Design Patterns

Recent comments

hierarchical and cyclic KPNs
55 min 2 sec ago
The key abstraction of the
1 hour 16 min ago
What is your point?
1 hour 18 min ago
In the notation user works
1 hour 45 min ago
Because only “by
2 hours 44 min ago
KPN recursion
2 hours 52 min ago
Re: model in mind and model in the code
3 hours 9 min ago
I provided counterexample to
3 hours 31 min ago
Where are counterexamples?
3 hours 43 min ago
Re what is mutability
3 hours 56 min ago