#%E Guy Cousineau #%E Pierre-Louis Curien #%E Bernard Robinet #%T Combinators and Functional Programming Languages #%I Springer-Verlag #%S LNCS 242 #%D 1986 %A Yoshito Yamane %T Some Thoughts on the Type System of B %P 105-110 %J SIGPLAN Notices %V 20 %N 10 %D |OCT| 1985