У разработчика появилась идея: разрешить смешивать строгую и динамическую типизацию, сделать безопаснее параллельный код или ускорить повторные вычисления. Прежде чем строить прототип, полезно выяснить, кто уже пробовал похожий подход. Но как искать, если нужное исследование могло выйти двадцать лет назад, называться непривычно и затеряться в сборнике конференции? Сервис λ pldb собирает названия и аннотации 22 324 научных публикаций о языках программирования — от первой конференции POPL в 1973 году до материалов 2026 года...