Definitional Interpreters for Higher-Order Programming Languages
John C. Reynolds
https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&context=lcsmith_other
John C. Reynolds
https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&context=lcsmith_other
π4
The Erlang Runtime System
https://blog.stenmans.org/theBeamBook/
https://blog.stenmans.org/theBeamBook/
blog.stenmans.org
The BEAM Book: Understanding the Erlang Runtime System
π2πΎ2β€1π₯1
The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.
https://github.com/mortdeus/legacy-cc
https://github.com/mortdeus/legacy-cc
π5π3πΏ1
How Much Memory Do You Need to Run 1 Million Concurrent Tasks?
https://pkolaczk.github.io/memory-consumption-of-async/
https://pkolaczk.github.io/memory-consumption-of-async/
pkolaczk.github.io
How Much Memory Do You Need to Run 1 Million Concurrent Tasks? | Piotr KoΕaczkowski
In this blog post, I delve into the comparison of memory consumption between asynchronous and multi-threaded programming across popular languages like Rust, ...
π1π1
Compiling History: A brief tour of C compilershttps://www.deusinmachina.net/p/compiling-history-a-brief-tour-of
www.deusinmachina.net
Compiling History: A brief tour of C compilers
As the story of Cβs birth goes hand in hand with the creation of Unix, the first C compiler can be traced back to the early 1970βs.
π2
A Unified Theory of Garbage Collection
https://web.eecs.umich.edu/~weimerw/2012-4610/reading/bacon-garbage.pdf
https://web.eecs.umich.edu/~weimerw/2012-4610/reading/bacon-garbage.pdf
π4π₯2
Compile-Time Garbage Collection by Necessity Analysis
https://www.researchgate.net/publication/229062257_Compile-Time_Garbage_Collection_by_Necessity_Analysis
https://www.researchgate.net/publication/229062257_Compile-Time_Garbage_Collection_by_Necessity_Analysis
ResearchGate
(PDF) Compile-Time Garbage Collection by Necessity Analysis
PDF | This paper gives a brief overview of an analysis technique for determining at compile-time whether heap cells are still needed at a particular... | Find, read and cite all the research you need on ResearchGate
π₯4π€1
In defense of simple architectures
https://danluu.com/simple-architectures/
https://danluu.com/simple-architectures/
π2π€1
A dependently-typed programming language with static memory management
https://github.com/vekatze/neut
https://github.com/vekatze/neut
GitHub
GitHub - vekatze/neut: A programming language with static memory management based on Ξ»-calculus
A programming language with static memory management based on Ξ»-calculus - vekatze/neut
π2π1π€1
Idrisβ Internals
https://docs.idris-lang.org/en/latest/reference/internals.html
https://docs.idris-lang.org/en/latest/reference/internals.html
π1π₯΄1
An implementation of "A Categorical Programing Language"
https://github.com/msakai/cpl
https://github.com/msakai/cpl
GitHub
GitHub - msakai/cpl: An interpreter of Hagino's Categorical Programming Language (CPL).
An interpreter of Hagino's Categorical Programming Language (CPL). - msakai/cpl
π1π1π€1
copy-and-patch.pdf
1.2 MB
Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode
HA
π1
π1