Periodic Reporting for period 1 - PolyBar (A new approach to polymorphism through bar recursion)

Summary
"Some computer programs are blind to the kind of input they are given. The program taking an object ""a"" and returning the pair ""(a,a)"" is such an example: its code is the same regardless of whether ""a"" is an integer, a real number, a vector or even another program. A...
More information & hyperlinks