Show more

Compilers: Analysis of Pointers and Structures 

Video: Failure Detectors 

Strictness analysis for higher-order functions 

An Optimizing Compiler for Lexically Scoped Lisp 

Uniprocessor Garbage Collection Techniques - Wilson


Incremental techniques can keep garbage collection pause times short, by interleaving small amounts of collection work with program execution. Generational schemes improve efficiency and locality by garbage collecting a smaller area more often, while exploiting typical lifetime characteristics to avoid undue overhead from long-lived objects.

Computer Science Paper 

A concurrent, generational garbage collector for a multithreaded implementation of ML 

A Non-recursive List Compacting Algorithm 

One Pass Real-Time Generational Mark-Sweep Garbage Collection - Armstrong, Virding


In this paper we present a simple scheme for reclaiming data for such language classes with a single pass mark-sweep collector. We also show how the simple scheme can be modified so that the collection can be done in an incremental manner (making it suitable for real-time collection).

On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner

"Our objective is to understand the notion of type in programming languages, present a model of typed,
polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical programming languages."


Understanding the Basis of the Kalman Filter via a Simple and Intuitive Derivation - Faragher


The Principal Type-Scheme of an Object in Combinatory Logic - Hindley



Fast, secure and up-to-date instance, welcoming everyone around the world. Join us! 🌍
Up since 04/04/2017. ✅

Why should you sign up on

This instance is not focused on any theme or subject, feel free to talk about whatever you want. Although the main language is english, we accept every single language and country.

We're connected to the whole ActivityPub fediverse and we do not block any foreign instance nor user.

We do have rules, but the goal is to have responsible users.

The instance uses a powerful server to ensure speed and stability, and it has good uptime. We follow state-of-the-art security practices.

Also, we have over 300 custom emojis to unleash your meming potential!

Looking for a Kpop themed instance? Try