Norman Adams Pavel Curtis Mike Spreitzer First-Class Data-Type Representations in SchemeXerox. 139-146 1993 PLDI db/conf/pldi/pldi93.html#AdamsCS93