[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi, I am looking for the founding papers on Kinds and any other interesting papers that review them particularly in regards to their implimentation. Many thanks in advance, Aaron -- Independent Software Engineer and amateur Computer Scientist
