https://deepai.org/publication/verification-of-high-level-transformations-with-inductive-refinement-types
Verification of High-Level Transformations with Inductive Refinement Types | DeepAI
Sep 17, 2018 - 09/17/18 - High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-cl...
high levelrefinement typesverificationtransformationsinductive
https://dev.to/junggikim/stop-writing-if-checks-refinement-types-in-java-8-14ap
Stop Writing if-checks: Refinement Types in Java 8+ - DEV Community
The Code That Lives in Every Java Codebase Every Java developer has written this code. You... Tagged with java, validation, typesafety, opensource.
refinement typesjava 8stopwritingchecks