Youyou Cong
where else to find them
what they talk about
all 7 in the filters
where they keep going back
all 9 in the filters
on a stage with
all 22 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation | FARM 2026 | 2026-08-24 |
CounterChoice is a client-side React web app that takes a user-drawn cantus firmus and uses the finite-choice logic language Dusa to generate first‑species… | ||
| An Interactive Learning Environment for Program Design | SPLASH-E 2025 | 2025-10-18 |
An interactive tool called Rad guides students through the design recipe with step‑by‑step natural‑language prompts backed by an LLM and a custom GPT flow. It… | ||
| Continuations for All: Language Design Considerations for Accessible Continuations | SPLASH-E 2025 | 2025-10-18 |
Claims a beginner-friendly design makes continuations easier to learn and shows concrete results from a course using Pyret-cont: three constructs (grab and… | ||
| Daisy: An Exercise Environment for Learning Information Modeling | SPLASH-E 2025 | 2025-10-18 |
Daisy is a web-based, block-based exercise that breaks information modeling into three concrete steps — information mining, data representation, data example —… | ||
| Types as a Specification Language for Creativity | HATRA 2025 | 2025-10-14 |
Proposes a typed creative language where types carry an optional refinement with two predicates: hard rules and soft rules and the typing judgment returns a… | ||
| Towards an Educational Fragment of Scala | The Scala Workshop 2025 | 2025-10-12 |
Proposal for an educational Scala fragment that restricts syntax and semantics to make beginner errors actionable and outputs easier to explain, inspired by… | ||
| An Intrinsically Typed Compiler for Algebraic Effect Handlers | PEPM 2024 | 2024-01-16 |
Implements a type preserving compiler from an algebraic effect handler calculus to a stack‑machine assembly and proves type preservation by writing the… | ||
| One-Pass CPS Translation of Dependent Types (Talk Proposal) | PEPM 2024 | 2024-01-16 |
Claims a one-pass CPS translation of Calculus of Constructions with Sigma (dependent pair) types that preserves dependent typing while producing no… | ||
| Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operat... | PPDP 2023 | 2023-10-22 |
Formalizes four calculi (effect handlers vs delimited-control, static vs generative labels), gives a concrete type system for each and proves type soundness… | ||
| Lightning Talk: Designing a Language for Learning Continuations | Scheme 2023 | 2023-09-09 |
Proposal builds a pedagogical language that teaches continuations by combining language levels and an algebraic stepper that visualizes which continuation is… | ||
| Weighted Refinement Types for Counterpoint Composition | FARM 2023 | 2023-09-08 |
Proposes weighted refinement types that attach a numeric weight to each predicate (use -∞ for forbidden rules) and implements a type system for first‑species… | ||
| Towards a Reflection for Effect Handlers | PEPM 2023 | 2023-01-16 |
Attempts to establish a reflection for algebraic effects use a simplest CPS translation (two continuations plus an aspirant construct) and a precisely… | ||
| Mio: A Block-Based Environment for Program Design | SPLASH-E 2022 | 2022-12-05 |
Mio is a block-based environment that lets learners build block-based design artifacts (data definitions, examples, purpose, template), checks well-formedness… | ||
| First-class Names for Effect Handlers | OOPSLA 2022 | 2022-12-05 |
Claim: treating first-class handler names as values plus scoped effects with rank-2 polymorphism prevents name-escaping without new language primitives. Paper… | ||
| Towards Dependently-Typed Control Effects (Extended Abstract) | TyDe 2022 | 2022-09-11 |
Design of a dependently-typed language with delimited control operators includes a purity restriction that types may depend only on pure terms and a selective… | ||
| Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) | TyDe 2021 | 2021-08-22 |
Claims a type system that composes directional effects with contextual effect polymorphism so handlers can give depending responses and be passed through… | ||
| A Functional Abstraction of Typed Trails + A Text-based Syntax Completion Method | PEPM 2021 | 2021-01-18 |
Presents a new type system that models continuation invocation contexts as functional trails so control and prompt can have heterogeneous trail types it claims… | ||
| Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk) | Scheme 2020 | 2020-08-28 |
A prototype browser-based UI walks through the Program Design Recipe and a feedback generator checks data examples, templates and simple termination hints by… | ||
| On Teaching Type Systems as Macros (Lightning Talk) | Scheme 2020 | 2020-08-28 |
Course uses the Racket DSL Turnstile to let students write typing rules in paperlike syntax and also specify runtime behavior; a student implements a… | ||
| nothing matches | ||