#1: Rubberducks in Copenhagen
今回はコペンハーゲンでの学会に参加した際の体験談をシュンがお話しします。
- PLDI
- コペンハーゲン
- スカンジナビア航空
- Radisson Blu
- CP 2024 - Choreographic Programming 2024 - PLDI 2024（振り付けプログラミング）
- ChoRus: Library-Level Choreographic Programming in Rust
- デンマーク王立図書館 - Wikipedia
- クリスチャンスボー城 - Wikipedia
- コペンハーゲン大学 - Wikipedia
- The Future of Fast Code: Giving Hardware What It Wants
- Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
- Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
- AI-Assisted Programming Today and Tomorrow
- Data-race safety for the masses