plt
Home
Recent
Comments
Search
Login
Stories
tagged
as
plt
– Programming language theory, types, design
11
GADTs and Amulet
compilers
ml
plt
hydraz.semi.works
authored by
hydraz
5 months ago
|
cached
|
1 comment
1
1
Beginner's Luck: A Language for Property-based Generators (2016)
☶
pdf
formalmethods
plt
testing
arxiv.org
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
18
Katahdin - a programming language where the syntax and semantics are mutable at runtime
☶
compilers
compsci
plt
chrisseaton.com
via
sebastien
5 months ago
|
cached
|
16 comments
16
3
Unifying Analytic and Statically-Typed Quasiquotes
☶
pdf
plt
scala
infoscience.epfl.ch
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
4
A semantice for imprecise exceptions (1999)
pdf
plt
microsoft.com
via
pushcx
5 months ago
|
cached
|
no comments
0
4
uC++: C++ Extended with Coroutines, Tasks, and Monitors (1992)
pdf
c++
plt
plg.uwaterloo.ca
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
2
Reliably composable language extensions (2017)
☶
pdf
c
compilers
plt
www-users.cs.umn.edu
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
4
Type-Safe Observable Sharing in Haskell (2009)
☶
pdf
haskell
plt
ittc.ku.edu
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
17
What we talk about when we talk about monads
pdf
plt
tomasp.net
via
pushcx
5 months ago
|
cached
|
no comments
0
6
A Language-based Approach to Unifying Events and Threads (orig in 2006; 2014)
pdf
haskell
linux
plt
blog.acolyer.org
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
1
LMS-Verify: Abstraction without Regret for Verified Systems Programming (2017)
☶
pdf
c
formalmethods
plt
scala
security
lampwww.epfl.ch
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
12
Incredibly Strange Programming Languages - Craig Stuntz
video
plt
youtube.com
via
enkiv2
5 months ago
|
cached
|
1 comment
1
2
Built in mapping for more powerful, intuitive, code
☶
pdf
plt
github.com
via
doublec
5 months ago
|
cached
|
no comments
0
23
J’s Low-level Obfuscation Leads to Higher Levels of Clarity
apl
plt
petecorey.com
via
enkiv2
5 months ago
|
cached
|
5 comments
5
7
Types and Indeterminates
ml
plt
boxbase.org
authored by
HenriTuhola
5 months ago
|
cached
|
2 comments
2
2
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes (2017)
☶
pdf
plt
scala
infoscience.epfl.ch
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
42
Why inheritance never made any sense
plt
practices
sicpers.info
authored by
leeg
5 months ago
|
cached
|
22 comments
22
1
Type-safe Operating System Abstractions (2004)
☶
pdf
plt
programming
security
cs.dartmouth.edu
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
13
Mycroft — A Predicate Logic Language — Overview / Post-mortem
plt
programming
hackernoon.com
authored by
enkiv2
5 months ago
|
cached
|
5 comments
5
5
Closing Keynote: Safe Systems Software and Future of Computing by Joe Duffy (2017)
video
plt
programming
rust
security
youtube.com
via
nickpsecurity
5 months ago
|
cached
|
1 comment
1
1
Heap Bounded Assembly Language (2002)
☶
pdf
assembly
formalmethods
plt
homepages.inf.ed.ac.uk
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
1
Fast: A Transducer-based Language for Tree Manipulation (2016)
☶
pdf
plt
programming
microsoft.com
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
4
Short Paper: Rusty Types for Solid Safety (2016)
☶
pdf
plt
programming
rust
sergio.bz
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
23
A proposal for a resource-management model for OCaml
pdf
ml
plt
hal.inria.fr
via
copy
6 months ago
|
cached
|
4 comments
4
3
The Left Hand of Equals
☶
pdf
plt
research.google.com
via
evhan
6 months ago
|
cached
|
no comments
0
<< Page 5
|
Page 7 >>