refinement-type-My Code Helper

Anonymous subclasses with extr...

scala types type-inference refinement-type

What is this Scala syntax?...

scala types path-dependent-type phantom-types refinement-type

What is a difference between r...

scala types anonymous-class refinement-type

Getting predicate from Refined...

scala shapeless refinement-type refined

Is it possible to enforce that...

f#record refinement-type

Proofs of structural propertie...

functional-programming coq dependent-type refinement-type

Confusion about type refinemen...

scala types structural-typing refinement-type

Is there a pattern/trick to en...

scala refinement-type

Simple Refinement Types in Has...

haskell types domain-model refinement-type

How to ensure type safety with...

scala newtype refinement-type refined

Type refinements in Scala but ...

scala macros scala-macros refinement-type refined

How can I turn a [TExp a] into...

haskell template-haskell refinement-type

Simple liquidhaskell example f...

haskell liquid-haskell refinement-type

flowtype nullable object immut...

javascript flowtype nullable refinement-type

Can I force certain keys in a ...

scala refinement-type

Refine a string to only certai...

scala refinement-type

AutoRefineV not picking up exp...

scala refinement-type

Can I define parametric data t...

haskell types type-systems refinement-type liquid-haskell

Liquid Haskell: Error with Pro...

haskell refinement-type liquid-haskell

Liquid Haskell: "Cyclic t...

haskell refinement-type liquid-haskell

Understanding real cake patter...

scala types cake-pattern singleton-type refinement-type

implicit extension methods on ...

scala typeclass implicit refinement-type

How to get the value from a Sc...

haskell gadt continuation-passing refinements refinement-type

Refinement of a B specificatio...

formal-verification formal-methods refinement-type b-method

Refined and existential types ...

scala shapeless singleton-type refinement-type refined

Ocaml disambiguates inferred t...

ocaml type-inference algebraic-data-types subtyping refinement-type

Is there any library for refin...

php types refinement-type

Using a monad to implicitly ch...

haskell dependent-type refinement-type

How can I refactor such that s...

f#refinement-type

Idioms/Practices for Implement...

f#refinement-type