This paper describes a Haskell program that uses categorial grammar to interpret the semantics of complex tense and aspect constructions in English. For example, it can represent “john will have been laughing” as an expression of predicate logic. We believe that the formalism used by the program is interesting because of its compositional elegance: the intuitive semantics of constructions like the future perfect and pluperfect arise naturally from a few general morphological rules.
Download the code: https://viking-sudo-rm.github.io/files/tenses/tenses.zip