Stories tagged as compilers – Compiler design
  1. 9
    Implementing and Optimizing a Simple, Dependently-Typed Language (2010) ☶ pdf compilers haskell plt publications.lib.chalmers.se
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 5 comments
  2. 17
    JIT Compilation for Emacs compilers emacs tromey.com
    calvin avatar via calvin 6 months ago | cached | 1 comment
  3. 13
    Zig: January 2018 in Review compilers plt andrewkelley.me
    jfo avatar via jfo 6 months ago | cached | 6 comments
  4. 10
    Vanquish Forever These Bugs That Blasted Your Kingdom c compilers dlang.org
    friendlysock avatar via friendlysock 6 months ago | cached | no comments
  5. 2
    Design notes on inline caches compilers wingolog.org
    flaviusb avatar via flaviusb 7 months ago | cached | no comments
  6. 4
    Unification of Compile-Time and Runtime Metaprogramming in Scala (2017) pdf compilers scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  7. 10
    Refinement Types in Ruby pdf compilers formalmethods ruby nikivazou.github.io
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  8. 3
    Fine-grained Language Composition: Case Study (2016) ☶ pdf compilers php python drops.dagstuhl.de
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  9. 1
    FOSDEM 2018 - Introduction to LLVM compilers programming fosdem.org
    j11g avatar via j11g 7 months ago | cached | no comments
  10. 64
    A C89 compiler that produces executables that are also valid ASCII text files pdf compilers cs.cmu.edu
    dl avatar via dl 7 months ago | cached | 4 comments
  11. 3
    The LLVM Sanitizers stage accomplished compilers netbsd security blog.netbsd.org
    sevan avatar via sevan 7 months ago | cached | no comments
  12. 6
    LLVM for Grad Students [2015] compilers cs.cornell.edu
    av avatar via av 7 months ago | cached | no comments
  13. 6
    A Prolog Interpreter in RPython (2007) pdf compilers python cfbolz.de
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 3 comments
  14. 10
    How it works: Compiler Explorer c++ compilers go rust xania.org
    fcbsd avatar via fcbsd 7 months ago | cached | no comments
  15. 5
    The Quorum Programming Language cogsci compilers practices quorumlanguage.com
    yumaikas avatar via yumaikas 7 months ago | cached | 11 comments
  16. 4
    CCHR: The Fastest CHR Implementation, in C (2007) c compilers compsci lirias.kuleuven.be
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 3 comments
  17. 1
    Simple AST Optimizations — How to Create a Compiler part 2/5 video compilers youtube.com
    yumaikas avatar via yumaikas 7 months ago | cached | no comments
  18. 6
    Off the Beaten Track: Explaining Type Errors slides compilers haskell byorgey.wordpress.com
    ehamberg avatar via ehamberg 7 months ago | cached | no comments
  19. 31
    Unsafe Zig is Safer Than Unsafe Rust compilers plt programming andrewkelley.me
    jfo avatar via jfo 7 months ago | cached | 14 comments
  20. 13
    How to prove a compiler correct compilers formalmethods plt dbp.io
    dbp avatar authored by dbp 7 months ago | cached | no comments
  21. 32
    Making WebAssembly even faster: Firefox’s new streaming and tiering compiler browsers compilers web hacks.mozilla.org
    fitzgen avatar via fitzgen 7 months ago | cached | 6 comments
  22. 6
    Some Goals for High-impact Verified Compiler Research compilers formalmethods blog.regehr.org
    hyperpape avatar via hyperpape 7 months ago | cached | no comments
  23. 9
    Refinement Types in ML (1991) pdf compilers compsci ml programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 2 comments
  24. 19
    Considerations for programming language design: a rebuttal compilers plt hackernoon.com
    calvin avatar via calvin 7 months ago | cached | 5 comments
  25. 11
    lily - An interpreted language with a focus on expressiveness and type safety ☶ compilers programming fascinatedbox.github.io
    av avatar via av 7 months ago | cached | no comments
<< Page 7 | Page 9 >>