plt
Home
Recent
Comments
Search
Login
Stories
tagged
as
plt
– Programming language theory, types, design
13
Zig: January 2018 in Review
compilers
plt
andrewkelley.me
via
jfo
6 months ago
|
cached
|
6 comments
6
26
We've Already Thought the Unthinkable
☶
historical
plt
hillelwayne.com
authored by
hwayne
6 months ago
|
cached
|
17 comments
17
26
Thinking the unthinkable: What we cannot think in programming
plt
tomasp.net
via
yumaikas
6 months ago
|
cached
|
24 comments
24
15
Implicit functors
ml
plt
jobjo.github.io
via
brendan
7 months ago
|
cached
|
3 comments
3
6
10 short surrealists reflections about code
art
plt
programming
medium.com
authored by
chobeat
7 months ago
|
cached
|
1 comment
1
5
Deny Capabilities for Safe, Fast Actors (2016)
plt
blog.acolyer.org
via
dbremner
7 months ago
|
cached
|
no comments
0
5
Why NOT to add the pipeline operator to JavaScript (or TypeScript, etc.)?
javascript
plt
djedr.github.io
via
calvin
7 months ago
|
cached
|
no comments
0
3
Crash Course on Notation in Programming Language Theory (2012)
plt
siek.blogspot.com
via
zpojqwfejwfhiunz
7 months ago
|
cached
|
1 comment
1
12
Selling Laziness
haskell
plt
programming
usrsb.in
authored by
beala
7 months ago
|
cached
|
28 comments
28
4
Ask: Is it possible to infer a general type signature from a more specific type signature?
ask
plt
stackoverflow.com
authored by
maxhallinan
7 months ago
|
cached
|
2 comments
2
13
A practitioner’s guide to reading programming languages papers
compsci
plt
blog.acolyer.org
via
calvin
7 months ago
|
cached
|
no comments
0
3
Gradual Typing for Smalltalk (2013)
pdf
plt
hal.inria.fr
via
nickpsecurity
7 months ago
|
cached
|
1 comment
1
31
Unsafe Zig is Safer Than Unsafe Rust
compilers
plt
programming
andrewkelley.me
via
jfo
7 months ago
|
cached
|
14 comments
14
3
Curry your calls, uncurry your returns
javascript
plt
programming
chriswarbo.net
authored by
chriswarbo
7 months ago
|
cached
|
no comments
0
8
Earley Parsing Explained
plt
loup-vaillant.fr
via
mattgreenrocks
7 months ago
|
cached
|
1 comment
1
13
How to prove a compiler correct
compilers
formalmethods
plt
dbp.io
authored by
dbp
7 months ago
|
cached
|
no comments
0
1
On Storytelling, by Evan Czaplicki, at Deconstruct 2017 (20 minutes, transcript available)
☶
video
culture
elm
plt
deconstructconf.com
via
Sietsebb
7 months ago
|
cached
|
no comments
0
6
What is a programming language?
plt
willcrichton.net
via
hwayne
7 months ago
|
cached
|
1 comment
1
27
spectre and the end of langsec
plt
security
wingolog.org
via
calvin
7 months ago
|
cached
|
10 comments
10
19
Considerations for programming language design: a rebuttal
compilers
plt
hackernoon.com
via
calvin
7 months ago
|
cached
|
5 comments
5
11
Ask: Type systems in natural languages?
☶
ask
compilers
plt
authored by
faitswulff
7 months ago
|
11 comments
11
11
Tell us why your language sucks (2008)
☶
haskell
plt
drmaciver.com
via
hwayne
8 months ago
|
cached
|
6 comments
6
3
One equality operator to rule them all
dotnet
plt
mzabani.wordpress.com
via
calvin
8 months ago
|
cached
|
no comments
0
9
Zig: December 2017 in Review
compilers
plt
programming
andrewkelley.me
via
jfo
8 months ago
|
cached
|
no comments
0
3
Single-Responsibility Principle done right
plt
programming
rcardin.github.io
via
calvin
8 months ago
|
cached
|
1 comment
1
<< Page 7
|
Page 9 >>