plt
Home
Recent
Comments
Search
Login
Stories
tagged
as
plt
– Programming language theory, types, design
4
Bidding Farewell to Globals (1988)
plt
practices
programming
archive.eiffel.com
via
nickpsecurity
2 months ago
|
cached
|
no comments
0
9
Static access control using phantom types
ml
plt
security
blog.janestreet.com
via
nickpsecurity
2 months ago
|
cached
|
no comments
0
21
Jai Primer
plt
github.com
via
friendlysock
3 months ago
|
cached
|
25 comments
25
25
I don't need types
c++
plt
python
rust
dmerej.info
via
wezm
3 months ago
|
cached
|
16 comments
16
4
Visual programming language snapshots
historical
plt
blog.interfacevision.com
via
enkiv2
3 months ago
|
cached
|
no comments
0
8
The Avail Programming Language
☶
plt
programming
availlang.org
via
nickpsecurity
3 months ago
|
cached
|
2 comments
2
12
The Lambda Calculus: Practice and Principle
☶
pdf
plt
satire
homepages.inf.ed.ac.uk
via
NinjaTrappeur
3 months ago
|
cached
|
1 comment
1
30
Structural Types and Duck Typing
plt
blog.infinitenegativeutility.c
om
via
enkiv2
3 months ago
|
cached
|
12 comments
12
2
ZZ Cell Programming
historical
plt
xanadu.com
via
enkiv2
3 months ago
|
cached
|
1 comment
1
2
An Explanation of Unification
haskell
plt
github.com
via
pushcx
3 months ago
|
cached
|
no comments
0
15
Can F* replace Haskell and Coq?
formalmethods
ml
plt
cryptulf.com
via
copy
3 months ago
|
cached
|
no comments
0
7
How Developers Use the Dynamic Features of Programming Languages: The Case of Smalltalk (2013)
pdf
plt
users.dcc.uchile.cl
via
hwayne
3 months ago
|
cached
|
3 comments
3
38
Eff: Functional Language Based on Algebraic, Effect Handlers
plt
programming
eff-lang.org
via
nickpsecurity
3 months ago
|
cached
|
2 comments
2
29
Out of the Tar Pit
pdf
compsci
plt
curtclifton.net
via
cleong
3 months ago
|
cached
|
22 comments
22
15
Professor Frisby's Mostly Adequate Guide to Functional Programming
book
education
plt
mostly-adequate.gitbooks.io
via
cleong
3 months ago
|
cached
|
1 comment
1
12
Mgmt Configuration Language
devops
linux
plt
purpleidea.com
via
phaer
3 months ago
|
cached
|
4 comments
4
17
On null
plt
programming
sicpers.info
authored by
leeg
3 months ago
|
cached
|
21 comments
21
2
Extempore Language and Environment Philosophy
lisp
plt
extemporelang.github.io
via
nickpsecurity
3 months ago
|
cached
|
no comments
0
10
Reimplementing Hackett’s type language: expanding to custom core forms in Racket
lisp
plt
lexi-lambda.github.io
via
calvin
3 months ago
|
cached
|
no comments
0
3
References in PHP: An Indepth Look
pdf
php
plt
derickrethans.nl
via
cleong
3 months ago
|
cached
|
2 comments
2
3
The Const Applicative and Monoids
haskell
plt
blog.jle.im
via
NinjaTrappeur
3 months ago
|
cached
|
no comments
0
2
Operads as a Potential Foundation for Systems of Systems (2016)
pdf
math
plt
programming
categoricaldata.net
via
nickpsecurity
3 months ago
|
cached
|
no comments
0
2
A Conservative Extension of Synchronous Data-flow with State Machines (2007)
☶
pdf
plt
programming
di.ens.fr
via
nickpsecurity
3 months ago
|
cached
|
1 comment
1
4
Modelica: Object-oriented, Declarative, Multi-Domain, Modeling Language
plt
programming
en.wikipedia.org
via
nickpsecurity
3 months ago
|
cached
|
no comments
0
2
Follow the Denotation
haskell
plt
reasonablypolymorphic.com
via
NinjaTrappeur
3 months ago
|
cached
|
no comments
0
<< Page 2
|
Page 4 >>