Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
Lambda the Ultimate - Programming Languages Weblog
lambda-the-ultimate.org
Programming languages news, articles and discussion
Platonic
C# - Managing
Referential
Transparency through Unique Types
lambda-the-ultimate.org
·
154w
Computer History
Museum
releases
PostScript
source
lambda-the-ultimate.org
·
165w
The
Verse
Calculus
: a Core
Calculus
for Functional Logic Programming
lambda-the-ultimate.org
·
165w
LtU
is now running in a new, more
stable
environment
lambda-the-ultimate.org
·
180w
Graydon
Hoare
: 21 compilers and 3 orders of magnitude in 60 minutes
lambda-the-ultimate.org
·
206w
Latent
Effects for
Reusable
Language Components
lambda-the-ultimate.org
·
226w
Introducing
PathQuery
, Google's Graph
Query
Language
lambda-the-ultimate.org
·
241w
Google announces
Logica
: organizing your data queries, making them
universally
reusable and fun
lambda-the-ultimate.org
·
250w
Coq
will be
renamed
lambda-the-ultimate.org
·
253w
LAMBDA
: The ultimate Excel
worksheet
function
lambda-the-ultimate.org
·
263w
Google Brain's
Jax
and
Flax
lambda-the-ultimate.org
·
265w
Built to Last
lambda-the-ultimate.org
·
281w
Tackling
the Awkward Squad for
Reactive
Programming
lambda-the-ultimate.org
·
282w
The Simple
Essence
of Algebraic
Subtyping
: Principal Type Inference with
Subtyping
Made Easy
lambda-the-ultimate.org
·
290w
Applications of
Blockchain
to
Programming
Language Theory
lambda-the-ultimate.org
·
304w
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help