Search results

The '''skew binary number system''' is a [[Non-standard positional numeral systems|non-standard positional numeral system]] in which the ''n''th digit contrib ...kew-Binary Numeral Systems and One Application|journal=Theory of Computing Systems|date=2012|volume=50|pages=185–211|doi=10.1007/s00224-011-9357-0|s2cid=25373 ...

...[[Parametric polymorphism|parametric types]], too, it is core to the type systems of many [[functional programming]] languages. It was first applied in this ...ally proved that Milner's algorithm is complete and extended it to support systems with polymorphic references. ...