Report SEN-R0114

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of ERCIM, the European Research Consortium fo

ABSTRACT Manual of the TYPO Type Checker

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member o

Centrum voor Wiskunde en Informatica

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member o

Hypothetical-Reasoning and Radical Non-constituent Coordination in Categorial Logic ABSTRACT

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member o

ABSTRACT Type Inference for COBOL Systems ∗

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member o

Research Issues in the Renovation of Legacy Systems

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member o