Meertens, L. G. L. T. "Incremental Polymorphic Type Checking In B." Mathematisch Centrum. Amsterdam (Netherlands). Nov 82, 14p MC-IW-214/82

Languages mentioned

• B {1975} Simple interactive programming environment