Persistent Software Transactional Memory in Haskell

A Theory of Higher-Order Subtyping with Type Intervals

Haskell for Imperative Programmers #30 - Software Transactional Memory (STM)

Fun, Funky, Functional: The Pursuit of Better User Interfaces for Programming

Software Transactional Memory

LambdaConf 2019

Conversation with Elon Musk | World Economic Forum Annual Meeting 2026

LIVE: Выступление Владимира Зеленского в Давосе после встречи с Дональдом Трампом

Typst: Современная замена Word и LaTeX, которую ждали 40 лет

ECE 459 Lecture 13: Software Transactional Memory

Haskell talks at Mercury

Владимир Пастухов* и Алексей Венедиктов*. Пастуховские четверги / 22.01.26

Doxygen и его остроумное устройство • Исследуем и применяем • C • Live coding

ЗАЧЕМ ТРАМПУ ГРЕНЛАНДИЯ? / Уроки истории @MINAEVLIVE

Где начало СХЕМЫ? Понимаем, читаем, изучаем схемы. Понятное объяснение!

Haskell talks at Mercury - Practical STM: An Async Job Queue, by Jake Keuhlen

Про болезнь Рамзана, аварию Адама Кадырова и агентов в Европе🎙️ Честное слово с Тумсо Абдурахмановым

30 самых прекрасных классических произведений для души и сердца 🎵 Моцарт, Бах, Бетховен, Шопен

Michael Snoyman- Why You Should Use Software Transactional Memory- λC 2019

[POPL'26] Salle 14 - PlanQC (Jan 12th)

Zed IDE: Полный обзор спустя год | Личный опыт разработки на ней