Experimental Software Systems: Collaborative Research: Applications of Flow Type in the Efficient, Modular and Reliable Compilation of Higher-Order Typed LanguagesBanerjee, AnindyaNational Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Experimental & Integrative Activities (ID: 9806835), $194,136USD, 09/01/1998 -- 08/31/2002