发布于 2025-04-01
L’implémentation pratique d’un système de type
Aujourd’hui les systèmes de type fait l’objet de notre discussion
魔法手札
发布于 2024-01-03
To what reason, and to what extent, should we extend the border of the software?
I was noticed that one of my friends recently wrote an article di …
发布于 2024-01-03
动手实现托管语言的内存管理器：压缩回收算法分析
本文介绍 Petrank [2006] 论文中的适用于增量并发回收器的垃圾回收算法：”The Compressor”，并且专注于介
发布于 2023-06-29
L’axiome du choix, dans le domaine de la théorie intuitionniste des types
L’axiome du choix, c’est un axiome qui signifie qu’il y a
