KOINEU

HOME
LATEST
CATEGORIES
ABOUT
CONTACT

Cs-Pl

Practical Refinement Session Type Inference (Extended Version)

Programming Languages 6 JAN, 2026

Practical Refinement Session Type Inference (Extended Version)

By Toby Ueno

Auditing Rust Crates Effectively

Programming Languages 6 JAN, 2026

Auditing Rust Crates Effectively

By Lydia Zoghbi

KOINEU

Global Academic Research Archive

Company Name: 미스미스터크레이지 (MissMrCrazy)

Representative: 송호성 (Song Ho-seong)

Business Registration No.: 731-64-00881

Recent posts

Math ds • 6 JAN, 2026

Sharp threshold dynamics for a bistable age-structured population model

By Quentin Griette

Physics optics • 6 JAN, 2026

Thermoelastic surface acoustic waves in low-loss silicon nitride integrated circuits

STAY INFORMED

Get the latest research breakthroughs delivered to your inbox.

2026 © KOINEU | AI Research Archive. All Rights Reserved. About Us Terms Privacy Policy

Address: 31, Hyangsoseojeong-gil, Danwol-myeon, Yangpyeong-gun, Gyeonggi-do, KR | Industry: IT & Software / Programming, Information Portal Services