plt - Programming language theory, types, design | Lobsters

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 >>