plt
Home
Recent
Comments
Search
Login
Stories
tagged
as
plt
– Programming language theory, types, design
12
MLIR Primer: A Compiler Infrastructure for the End of Moore’s Law
☶
ai
compilers
plt
drive.google.com
via
fsaintjacques
2 days ago
|
cached
|
3 comments
3
5
Spartan Type Theory
☶
video
plt
vimeo.com
via
huntie
2 days ago
|
cached
|
1 comment
1
5
Dialogical logic resolution algorithm with sound negation
plt
boxbase.org
authored by
HenriTuhola
3 days ago
|
cached
|
no comments
0
8
Polarity and bidirectional typechecking
plt
semantic-domain.blogspot.com
via
calvin
3 days ago
|
cached
|
no comments
0
17
Compiling with Dependent Types
☶
pdf
compilers
plt
williamjbowman.com
via
huntie
3 days ago
|
cached
|
no comments
0
9
Compiler Fundamentals: Closure Conversion
compilers
lisp
plt
programming
gist.github.com
authored by
rain1
5 days ago
|
cached
|
no comments
0
20
"Maybe the fastest string library ever"
c
c++
plt
github.com
via
halosghost
5 days ago
|
cached
|
5 comments
5
33
What's your preferred embedded/application scripting language?
☶
ask
plt
authored by
lorddimwit
6 days ago
|
41 comments
41
17
A Quick Look at Trait Objects in Rust
compilers
plt
tratt.net
via
edd
9 days ago
|
cached
|
no comments
0
8
Dialogical logic programming
plt
boxbase.org
authored by
HenriTuhola
10 days ago
|
cached
|
1 comment
1
10
Program synthesis of a spec with optional manual implementation for parts of the program
☶
ask
formalmethods
plt
authored by
nc
11 days ago
|
9 comments
9
33
Family spaghetti of programming languages
plt
erkin.party
authored by
erkin
13 days ago
|
cached
|
13 comments
13
8
The Relationship Between OO and FP
plt
codingitwrong.com
via
hwayne
13 days ago
|
cached
|
8 comments
8
10
Taxonomy – Option types, "Optional types", Nullable types and null-able types
☶
education
plt
programming
authored by
soc
14 days ago
|
5 comments
5
32
the Fennel programming language
lisp
lua
plt
fennel-lang.org
via
cndreisbach
14 days ago
|
cached
|
9 comments
9
3
Declarative Programming: Is It A Real Thing? (2015)
plt
programming
toptal.com
via
akkartik
15 days ago
|
cached
|
no comments
0
3
Emacs Lisp implementation in JavaScript
emacs
javascript
plt
github.com
via
zge
16 days ago
|
cached
|
no comments
0
17
The monadic morass (2012)
plt
trevorjim.com
via
yumaikas
16 days ago
|
cached
|
7 comments
7
1
Perl 6 as a new tool for language compilers
video
perl
plt
youtube.com
via
mempko
16 days ago
|
cached
|
no comments
0
11
Tar-pit thinking (2012)
plt
trevorjim.com
via
Yogthos
16 days ago
|
cached
|
no comments
0
7
Null references was a mistake, but what's the take-away?
culture
plt
programming
rant
boxbase.org
authored by
HenriTuhola
17 days ago
|
cached
|
6 comments
6
5
A Lever for the Mind
math
plt
programming
codon.com
via
davidk01
18 days ago
|
cached
|
no comments
0
13
A Conversation with Alan Kay
plt
programming
queue.acm.org
via
unbalancedparentheses
20 days ago
|
cached
|
3 comments
3
10
Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Language
pdf
compsci
plt
vpri.org
via
enkiv2
22 days ago
|
cached
|
no comments
0
3
Quantum Object Dynamics (2009)
pdf
plt
vpri.org
via
enkiv2
23 days ago
|
cached
|
no comments
0
Page 2 >>