Diverse executable semantics definitions in NUSL and an implementation of functional types

Several different semantics definitions of a sample language, SAL, ar e given, all in NUSL . Their differences and similarities, and mor e generally, different approaches to the definition of programmin g languages are discussed . The implementation of functional types i s explored .