Show more

Compilers: Analysis of Pointers and Structures Show more

Video: Failure Detectors Show more

Strictness analysis for higher-order functions Show more

An Optimizing Compiler for Lexically Scoped Lisp Show more

Uniprocessor Garbage Collection Techniques - Wilson

PDF: buff.ly/2nq3rop

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.

mstdn.io/media/xv8PQSsKWFSO2-M

Computer Science Paper Show more

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

A Non-recursive List Compacting Algorithm Show more

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

Link: buff.ly/2pdh7iS

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).

mstdn.io/media/u03CNEJZho1pvTR

Principal type-schemes for functional programs - Damas, Milner

PDF: buff.ly/2nS35p9

mstdn.io/media/MCoEXIHFFRw2QhY

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."

PDF: buff.ly/2oBagQP

mstdn.io/media/yAkM2aC3RjQFvP8

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

PDF: buff.ly/2oQjV5t

mstdn.io/media/GCig9GsJsxdA_2_

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

PDF: buff.ly/2oQcuuS

mstdn.io/media/ZitDMBjItyd_5w_

Mastodon

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 mstdn.io?

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 OStatus/ActivityPub fediverse and we do not block any foreign instance nor user.

We do have rules, but the goal is to have responsible users. So far we haven't had any issue with moderation

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 kpop.social