Content deleted Content added
No edit summary |
|||
Line 100:
* [[Multiple dispatch]]<ref name="Chambers & Leavens, Multi-Methods">{{cite journal|last1=Chambers|first1=Craig|last2=Leavens|first2=Gary T.|title=Type Checking and Modules for Multi-Methods|journal=ACM Trans. Program. Lang. Syst.|date=November 1995|volume=17 |issue=6|pages=805–843|doi=10.1145/218570.218571 |url=http://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1036&context=cs_techreports|doi-access=free}}</ref>
*
* [[Coproduct]]s of [[functor]]s<ref>{{cite journal
|author = Wouter Swierstra
|