tests.ref

来自「早期freebsd实现」· REF 代码 · 共 17 行

#%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