Catarina G.
where else to find them
no profile links on file
what they talk about
- java1
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Ricardo C.once
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| LiquidJava:Catch Bugs at Compile Time with Liquid Types | JNation 2026 | 2026-05-26 |
LiquidJava extends Java types with refinement predicates so the compiler proves properties like “height > 0” and object protocol states (cannot write after… | ||
| nothing matches | ||