Stories tagged as plt – Programming language theory, types, design
  1. 1
    IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (2015) ☶ pdf formalmethods plt programming security cseweb.ucsd.edu
    nickpsecurity avatar via nickpsecurity 16 hours ago | cached | no comments
  2. 5
    Cross-Platform, Language Design ☶ pdf compilers javascript plt scala lampwww.epfl.ch
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments
  3. 8
    Strange Loop 2018: You are a Program Synthesizer (video + transcript) design formalmethods plt programming pathsensitive.com
    jkoppel avatar authored by jkoppel 3 days ago | cached | 10 comments
  4. 25
    Thoughts for a new minimal markup language ☶ ask show compsci plt
    HenriTuhola avatar authored by HenriTuhola 3 days ago | 15 comments
  5. 33
    Little Languages plt maxhallinan.com
    maxhallinan avatar authored by maxhallinan 4 days ago | cached | 5 comments
  6. 2
    Type erasure and reification plt eli.thegreenplace.net
    calvin avatar via calvin 4 days ago | cached | no comments
  7. 7
    Dialog: An Inform 7 and Prolog inspired language for interactive fiction games plt linusakesson.net
    zem avatar via zem 5 days ago | cached | 3 comments
  8. 1
    Towards language support for distributed systems video distributed plt youtube.com
    SeanTAllen avatar via SeanTAllen 5 days ago | cached | no comments
  9. 25
    Untyped Programs Don't Exist plt williamjbowman.com
    calvin avatar via calvin 5 days ago | cached | 23 comments
  10. 2
    Design and Implementation of Object-Oriented, Parallel, Programming Language (1991) ☶ c++ compilers distributed historical plt shareok.org
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | no comments
  11. 19
    Programming Language Foundations in Agda (2018) book plt wadler.blogspot.com
    ane avatar via ane 8 days ago | cached | no comments
  12. 38
    Ocaml vs Maybe Not ml plt articles.nhmtech.com
    apg avatar via apg 10 days ago | cached | 23 comments
  13. 5
    Open Sourcing our Event Query Language (EQL) ☶ show plt security endgame.com
    rseymour avatar via rseymour 11 days ago | cached | 3 comments
  14. 1
    Dynamic Language Embedding With Homogeneous Tool Support (2010) ☶ pdf compilers plt programming scg.unibe.ch
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | 2 comments
  15. 39
    Maybe Not - Rich Hickey video clojure plt youtube.com
    sulami avatar via sulami 11 days ago | cached | 93 comments
  16. 6
    Fo̅rmulæ – Symbolic computation framework ☶ math plt visualization formulae.org
    nil avatar via nil 13 days ago | cached | no comments
  17. 13
    Simple verification in Idris ☶ formalmethods plt gist.github.com
    rs86 avatar authored by rs86 13 days ago | cached | 2 comments
  18. 5
    LaTTe : a Laboratory for Type Theory experiments clojure formalmethods plt github.com
    Yogthos avatar via Yogthos 14 days ago | cached | 2 comments
  19. 2
    Structured Editing for Elm* in Elm ☶ video elm plt youtube.com
    etc avatar via etc 15 days ago | cached | no comments
  20. 9
    Communicating in Types video plt vimeo.com
    krisajenkins avatar authored by krisajenkins 15 days ago | cached | 2 comments
  21. 12
    WebAssembly doesn’t make unsafe languages safe (yet) plt wasm 00f.net
    lkurusa avatar via lkurusa 16 days ago | cached | 1 comment
  22. 3
    Sequentially Constructive Concurrency: Conservative Extension of Synchronous Computation ☶ pdf plt programming rtsys.informatik.uni-kiel.de
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | no comments
  23. 32
    The AST Typing Problem plt blog.ezyang.com
    plredmond avatar via plredmond 17 days ago | cached | 6 comments
  24. 2
    How To Fail With JavaScript [58min] ☶ video ai games haskell javascript plt wasm youtube.com
    Widdershin avatar authored by Widdershin 17 days ago | cached | 1 comment
  25. 18
    A configuration grammar to generate any configuration format ☶ show plt ucg.marzhillstudios.com
    zaphar avatar authored by zaphar 18 days ago | cached | 13 comments
Page 2 >>