Michael Hanus
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Jan Köhnleinonce
- Moritz Eysholdtonce
- Sebastian Zarnekowonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Can Logic Programming Be Liberated from Predicates and Backtracking? (Lightning talk) | PADL 2025 | 2025-01-20 |
Claims a systematic method that transforms Prolog predicates into Curry functions and a tool that compiles those into Haskell or Go, with a Curry package… | ||
| Most Influential Paper - Xbase: Implementing Domain-Specific Languages ... | GPCE 2023 | 2023-10-22 |
The paper claims a reusable expression language that plugs into Xtext so external DSLs get full Xtext IDE support, type checking, code generation and an… | ||
| nothing matches | ||