Ziyang Liu
where else to find them
linkedin:ziyang-liu-83329637
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| From Lambda to Ledger: An Architectural Comparison of Plinth and Plutarch | FUNARCH 2026 | 2026-08-29 |
Compares two Cardano smart‑contract approaches: a GHC plugin (Plinth) vs an embedded DSL (Plutarch), implements seven validators and measures source size… | ||
| Plinth: A Plugin-Powered Language Built on Haskell (Experience Report) | Haskell 2025 | 2025-10-16 |
Plinth is a production DSL that reuses a subset of Haskell syntax, compiles via a GHC plugin into PIR → typed Plutus Core (System Fω with iso-recursive types)… | ||
| Developing DSLs with FP: Exploring 3 Strategies Through Examples | Functional Conf 2025 | 2025-01-24 |
Compares three concrete DSL strategies with Cardano examples: standalone low-level UPLC uses an untyped lambda core whose evaluator (the CEK machine) literally… | ||
| Designing Domain-Specific Languages: A Comparison of Three Approaches by Example | Heapcon 2024 | 2024-11-07 |
Compares three concrete DSL approaches: standalone languages like untyped Plutus Core (UPLC) used as a low‑level compilation target where the CEK evaluator… | ||
| nothing matches | ||