Re: Algorithms, term rewriting and compile time reflection

Wed, 22 Oct 2014 16:41:28 -0700

On Wednesday, 22 October 2014 at 23:09:17 UTC, Ola Fosheim Grøstad wrote: 
I think it is related to so-called dependent types?
http://en.wikipedia.org/wiki/Dependent_type


And:

http://en.wikipedia.org/wiki/Refinement_(computing)#Refinement_types

And perhaps:

http://en.wikipedia.org/wiki/Liskov_substitution_principle






















					Reply via email to