pldb가 프로그래밍 언어 논문 28,629편을 검색 가능하게 정리함

AI 요약AI 생성 · AI 감수pldb.kirancodes.me원문 2026-10-011분 읽기발행 4시간 전0+00

이 본문은 AI로 번역되었으며, 오역이 있을 수도 있습니다. · 출처: pldb.kirancodes.me

TL;DR

pldb가 1973년 첫 POPL부터 2026년 학회 논문집까지 프로그래밍 언어 논문 28,629편의 제목과 초록을 검색 가능하게 정리함.
점진적 타입, Xavier Leroy 저자명, 동시성 분리 논리, 효과 핸들러, 제목의 e-그래프, 증분 계산, 소유권 타입 등을 검색할 수 있음.
주요 학회 논문 수는 POPL 2,199편(1973~2026), PLDI 1,971편(1979~2026), ICFP 1,066편(1996~2026), OOPSLA 2,246편(1986~2026)임.
추가 학회는 ECOOP 1,096편(1987~2026), ESOP 976편(1986~2026), CC 673편(1988~2026), CGO 736편(2003~2026), PPoPP 1,184편(1990~2026), SAS 783편(1994~2025), CAV 2,069편(1990~2026), TACAS 1,553편(1995~2026), VMCAI 642편(2002~2026), CPP 354편(2011~2026)임.
나머지 수록처는 APLAS 613편(2000~2025), ISMM 350편(1992~2026), GPCE 465편(2002~2026), SLE 395편(2008~2026), Onward! 252편(2011~2025), Haskell 294편(2002~2026), DLS 161편(2005~2023), HOPL 125편(1978~2020), ASE 3,458편(1991~2025), FSE 2,847편(1993~2026), TOPLAS 1,205편(1979~2026), JFP 916편(1991~2026)임.

이 기사에는 해커뉴스 반응 요약과 MoAI 오피니언이 없습니다. 댓글이 5건 미만이거나 근거 기사가 2건 미만이면 해당 블록을 생성하지 않습니다.

제품

pldb

프로그래밍 언어

논문 검색

POPL

PLDI

로그인하면 이 기사에 내 생각을 남길 수 있어요

TL;DR

pldb가 1973년 첫 POPL부터 2026년 학회 논문집까지 프로그래밍 언어 논문 28,629편의 제목과 초록을 검색 가능하게 정리함.
점진적 타입, Xavier Leroy 저자명, 동시성 분리 논리, 효과 핸들러, 제목의 e-그래프, 증분 계산, 소유권 타입 등을 검색할 수 있음.
주요 학회 논문 수는 POPL 2,199편(1973~2026), PLDI 1,971편(1979~2026), ICFP 1,066편(1996~2026), OOPSLA 2,246편(1986~2026)임.
추가 학회는 ECOOP 1,096편(1987~2026), ESOP 976편(1986~2026), CC 673편(1988~2026), CGO 736편(2003~2026), PPoPP 1,184편(1990~2026), SAS 783편(1994~2025), CAV 2,069편(1990~2026), TACAS 1,553편(1995~2026), VMCAI 642편(2002~2026), CPP 354편(2011~2026)임.
나머지 수록처는 APLAS 613편(2000~2025), ISMM 350편(1992~2026), GPCE 465편(2002~2026), SLE 395편(2008~2026), Onward! 252편(2011~2025), Haskell 294편(2002~2026), DLS 161편(2005~2023), HOPL 125편(1978~2020), ASE 3,458편(1991~2025), FSE 2,847편(1993~2026), TOPLAS 1,205편(1979~2026), JFP 916편(1991~2026)임.

댓글 (0)