This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A configuration is a description in the new language of how a system is constructed hierarchically from specifications of its component parts. Category theory has been used to represent the composition of specifications that share...

This paper presents a functional programming language, based on Moggi’s monadic metalanguage. In the first part of this paper, we show how the language can be regarded as a monad on a category of signatures, and that the resulting category of algebras is equivalent to the category of computationally cartesian closed categories. In the second part, we extend the language to include a nondetermin...

Introduction. The article analyzes the features of category process in epizootological terminology and identifies a set language tools English that serve to express this category. studied is widely used terminology. This due variety concepts science, number forms manifestation epizootic process, evolution veterinary knowledge, which reflected semantics terms. purpose study role processes its li...

the present research was an attempt to provide new evidence for the efficacy of task-based techniques to speaking proficiency development. the primary focus of the study was to investigate the effects of task-based techniques on speaking proficiency development. in the second place, it tried to scrutinize the effect of gender on speaking proficiency development under task-based principles of la...

We recall Hoare's formulation of data re nement in terms of upward, downward and total simulations between locally ordered functors from the structured locally ordered category generated by a programming language with an abstract data type to a semantic locally ordered category: we use a simple imperative language with a data type for stacks as leading example. We give a uni ed category theoret...

This is a longitudinal case study of two Farsi-speaking children learning English: ‘Bernard’ and ‘Melissa’, who were 7;4 and 8;4 at the start of data collection. The research deals with the initial state and further development in the child second language (L2) acquisition of syntax regarding the presence or absence of copula as a functional category, as well as the role and degree of L1 influe...

In this work several sets of categories obtained by a statistical clustering algorithm, as well as a linguistic set, were used to design category-based language models. The language models proposed were evaluated, as usual, in terms of perplexity of the text corpus. Then they were integrated into an ASR system and also evaluated in terms of system performance. It can be seen that category-based...