plt
Home
Recent
Comments
Search
Login
Stories
tagged
as
plt
– Programming language theory, types, design
14
Linear Logic, Linear Lisp, Linear Types and Concatenative Languages
lisp
plt
cdiggins.github.io
via
tokenrove
6 months ago
|
cached
|
2 comments
2
11
Symbolic Execution: Intuition and Implementation
debugging
haskell
plt
usrsb.in
authored by
beala
6 months ago
|
cached
|
no comments
0
3
Isolated Actors for Race-free, Concurrent Programming (2010)
☶
pdf
distributed
plt
scala
infoscience.epfl.ch
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
10
Type Inference by Solving Constraints
dotnet
ml
plt
calebh.io
via
calvin
6 months ago
|
cached
|
no comments
0
5
Tyr: A Dependent, Type System for Spatial, Memory Safety in LLVM (2016)
pdf
compilers
plt
core.ac.uk
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
21
Announcing Rust 1.24.1
☶
plt
release
rust
blog.rust-lang.org
via
azdle
6 months ago
|
cached
|
no comments
0
6
Verification of a Practical Hardware Security Architecture via Static Information Flow Analysis
☶
pdf
hardware
plt
programming
security
cse.psu.edu
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
8
Capability-based Type Systems for Concurrency Control
☶
pdf
distributed
plt
uu.diva-portal.org
via
nickpsecurity
6 months ago
|
cached
|
3 comments
3
34
Language Features for Non-programmers
☶
show
plt
angersock.com
authored by
friendlysock
6 months ago
|
cached
|
15 comments
15
1
QWeSST: Type-Safe, Web Programming Language (2011)
☶
pdf
slides
plt
web
cs.cmu.edu
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
13
A Programmable Programming Language
lisp
plt
cacm.acm.org
via
leeg
6 months ago
|
cached
|
10 comments
10
65
Nix 2.0 released
☶
linux
plt
programming
release
nixos.org
via
skrzyp
6 months ago
|
cached
|
25 comments
25
2
Orca: GC and Type System Co-Design for Actor Languages (2017)
☶
pdf
distributed
plt
programming
doc.ic.ac.uk
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
3
Type-Safe Access to Key-Value Stores from a Functional Language (2016)
☶
pdf
compilers
databases
ml
plt
jstage.jst.go.jp
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
4
My Favorite Bug (WadlerFest 2016)
pdf
debugging
plt
practices
ccs.neu.edu
via
bennn
6 months ago
|
cached
|
no comments
0
2
Reliable and Automatic Composition of Language Extensions to C (2017)
☶
pdf
c
compilers
plt
www-users.cs.umn.edu
via
nickpsecurity
6 months ago
|
cached
|
2 comments
2
7
Designing and evaluating programming languages: Dagstuhl trip report
education
plt
medium.com
via
quobit
6 months ago
|
cached
|
no comments
0
2
Seams: Provably-Safe, Local Edits on Graphs (2017)
☶
pdf
formalmethods
plt
programming
theory.stanford.edu
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
14
"Chunks of Bytecode", the next chapter in my book "Crafting Interpreters"
book
plt
release
craftinginterpreters.com
authored by
munificent
6 months ago
|
cached
|
5 comments
5
7
"Pure Functional Programming in Excel" by Felienne Hermans (2016)
video
compsci
plt
youtube.com
via
DiegoVicente
6 months ago
|
cached
|
no comments
0
11
Spiral: A staged functional language for gpu programming
plt
github.com
via
zem
6 months ago
|
cached
|
5 comments
5
19
Summer of Cod 2018
plt
programming
satire
myrlang.org
via
ac
6 months ago
|
cached
|
4 comments
4
2
The ABC Structure Editor
☶
pdf
plt
python
citeseerx.ist.psu.edu
via
lorddimwit
6 months ago
|
cached
|
no comments
0
9
Implementing and Optimizing a Simple, Dependently-Typed Language (2010)
☶
pdf
compilers
haskell
plt
publications.lib.chalmers.se
via
nickpsecurity
6 months ago
|
cached
|
5 comments
5
2
Language Constructs for Safe, Parallel Programming on Multicores (2016)
☶
pdf
plt
programming
pdfs.semanticscholar.org
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
<< Page 6
|
Page 8 >>