Stories tagged as plt Programming language theory, types, design

Most often also tagged with compilers rust formalmethods haskell lisp ml javascript compsci

  1. 28
    poll_next api plt rust without.boats
    tel avatar via tel 21 hours ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  2. 3
    Rustlantis: Semantic fuzzing of the Rust compiler and interpreter pdf plt rust testing ethz.ch
    itamarst avatar via itamarst 25 hours ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 26
    “Useless Ruby sugar”: Argument forwarding plt ruby zverok.space
    zverok avatar authored by zverok 5 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  4. 8
    Dafny - a verification-aware programming language plt programming dafny.org
    razetime avatar via razetime 6 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  5. 9
    Meow5 Concatenative Assembly: The Conclusion plt programming ratfactor.com
    razetime avatar via razetime 6 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 24
    Red Programming Language plt red-lang.org
    vladislavp avatar via vladislavp 7 days ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  7. 4
    Tokenizing Arithmetic expressions - calculator p.1 plt xnacly.me
    xnacly avatar authored by xnacly 8 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 13
    Safety features of the Hare programming language (2022) plt security harelang.org
    kuijsten avatar via kuijsten 10 days ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  9. 22
    A simple ray tracer written in the meson.build language assembly graphics plt github.com
    meithecatte avatar via meithecatte 10 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  10. 25
    The Om Programming Language plt om-language.org
    lorddimwit avatar via lorddimwit 10 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  11. 14
    Wasm SpecTec: Engineering a Formal Language Standard formalmethods plt arxiv.org
    amw-zero avatar via amw-zero 11 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 8
    Scryer Prolog Meetup 2023 Notes event plt blog.adrianistan.eu
    aarroyoc avatar authored by aarroyoc 14 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 2
    The Rational Programming Language lisp plt github.com
    crmsnbleyd avatar via crmsnbleyd 14 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  14. 25
    My Favorite Gleam Feature erlang plt erikarow.land
    ntietz avatar via ntietz 14 days ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  15. 3
    Beyond TypeScript: Differences Between Typed Languages javascript ml plt tech.ahrefs.com
    toastal avatar via toastal 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 3
    Learn PostScript by Doing (2005) pdf graphics plt staff.science.uva.nl
    lorddimwit avatar via lorddimwit 16 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 5
    SPITBOL 360: an implementation of SNOBOL4 for IBM 360 compatible computers historical plt github.com
    lorddimwit avatar via lorddimwit 17 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 19
    A quick look at destination-driven code generation compilers plt python bernsteinbear.com
    tekknolagi avatar authored by tekknolagi 17 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  19. 18
    “Useless Ruby sugar”: Keyword argument and hash values omission plt ruby zverok.space
    zverok avatar authored by zverok 19 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 3
    From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers compilers performance plt dl.acm.org
    5d22b avatar via 5d22b 19 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 15
    WasmFX: Effect Handlers for WebAssembly plt wasm wasmfx.dev
    shanemhansen avatar via shanemhansen 20 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 20
    What If We Don't Pop the Stack? The Return of 2nd-Class Values ☶ pdf plt cs.purdue.edu
    asb avatar via asb 21 days ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  23. 5
    Programming Distributed Systems video distributed plt youtube.com
    DerGuteMoritz avatar via DerGuteMoritz 23 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 6
    Wordplay: an accessible, language-inclusive programming language for all a11y plt medium.com
    azhenley avatar via azhenley 23 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 27
    “Useless Ruby sugar”: Pattern matching plt ruby zverok.space
    zverok avatar authored by zverok 26 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments

Tip: read stories across multiple tags with /t/tag1,tag2

Page 2 >>