plt - Programming language theory, types, design | Lobsters

Stories tagged as plt – Programming language theory, types, design

2

Covariance and Contravariance In Java (2013) java plt dzone.com
via czocher 4 months ago | cached | no comments

0
8

Are unsound type systems wrong? clojure plt frenchy64.github.io
via Yogthos 4 months ago | cached | 4 comments

4
1

The Truth About Garbage Collection java plt web.archive.org
via zge 4 months ago | cached | no comments

0
2

Help needed: Static typing and algebra ☶ compilers compsci math plt
authored by HenriTuhola 4 months ago | 1 comment

1
54

GraalVM plt graalvm.org
via 355E3B 4 months ago | cached | 30 comments

30
3

TransLucid and Cartesian Programming plt programming translucid.web.cse.unsw.edu.au
via nickpsecurity 4 months ago | cached | 4 comments

4
42

What programming languages have been designed to reduce naming things? ☶ ask plt
authored by dahjelle 4 months ago | 39 comments

39
52

"Growing a Language" talk by Guy Steele (1998) ☶ video plt youtube.com
via zpojqwfejwfhiunz 4 months ago | cached | 11 comments

11
4

An Interpreter for a Novice-Oriented Programming Language with Runtime Macros (2017) ☶ compilers education plt dspace.mit.edu
via nickpsecurity 4 months ago | cached | no comments

0
35

For mathematicians, = does not mean equality math plt jeremykun.com
via Hail_Spacecake 4 months ago | cached | 8 comments

8
4

Kaukatcr: an experiment in language design for multi-dimensional spaces ☶ plt medium.com
authored by enkiv2 4 months ago | cached | 1 comment

1
14

Idris: Type safe printf ☶ video plt youtube.com
via NinjaTrappeur 4 months ago | cached | 8 comments

8
2

Adapting Scheme-like Macros to the C Language (2011) ☶ pdf c c++ lisp plt repository.readscheme.org
via nickpsecurity 4 months ago | cached | no comments

0
12

A Tour of the L Language plt programming l-lang.org
via nickpsecurity 4 months ago | cached | 6 comments

6
4

Design and Implementation of Optimizing Type-centric Compiler for High-Level Language (2017) ☶ compilers plt scala infoscience.epfl.ch
via nickpsecurity 4 months ago | cached | no comments

0
6

Effective Programming: Adding an Effect System to OCaml video ml plt programming youtube.com
via brendan 4 months ago | cached | no comments

0
9

Answering "A monad is just a monoid in the category of endofunctors, what's the problem?" haskell plt stackoverflow.com
via zge 5 months ago | cached | 5 comments

5
10

Popr Tutorial: Dot Machines show compilers plt hackerfoo.com
authored by HackerFoo 5 months ago | cached | 5 comments

5
8

Sum Types Are Coming: What Everyone Should Know (2015) ☶ plt practices programming chadaustin.me
via nickpsecurity 5 months ago | cached | 2 comments

2
5

ASAP: As Static As Possible Memory Management (2017) ☶ pdf c compilers plt security cl.cam.ac.uk
via nickpsecurity 5 months ago | cached | 4 comments

4
5

Programming Languages as Scouts plt willcrichton.net
via adsouza 5 months ago | cached | 9 comments

9
4

Gradual Programming plt willcrichton.net
via etc 5 months ago | cached | no comments

0
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

<< Page 4 | Page 6 >>