tag:blogger.com,1999:blog-5722310642266356003.post1417283398070615419..comments2024-01-07T23:21:32.676+01:00Comments on The Axis of Eval: The many forms of polymorphismUnknownnoreply@blogger.comBlogger1125tag:blogger.com,1999:blog-5722310642266356003.post-82157179984663714352010-09-07T14:35:03.089+02:002010-09-07T14:35:03.089+02:00The Pattern Calculus supports a total of 4 types o...The <a href="http://hor.pps.jussieu.fr/06/proc/jay1.pdf" rel="nofollow">Pattern Calculus</a> supports a total of 4 types of polymorphism: parametric, structure, path and pattern polymorphism.Sandro Magihttps://www.blogger.com/profile/05446177882449578817noreply@blogger.com