Results 1 to 10 of about 48,838 (237)
Free Applicative Functors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Applicative functors are a generalisation of monads. Both allow the expression of effectful computations into an otherwise pure language, like Haskell.
Capriotti, Paolo, Kaposi, Ambrus
core +3 more sources
An applicative theory for FPH [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.Comment: In Proceedings CL&C 2010, arXiv:1101 ...
Kahle, Reinhard, Oitavem, Isabel
core +3 more sources
Studies in African Linguistics, 2021 This paper examines the imbrication process in Lunda. It is widely acknowledged in the literature that imbrication in Bantu languages is mainly triggered by the perfective or past tense suffix (Bastin 1983).
Boniface Kawasha
doaj +3 more sources
Clinical performance of some resin-based materials in restoring non-carious cervical lesions [PDF]
Romanian Journal of Stomatology, 2023 Objectives. The objective of the study was to investigate the clinical performance of two different resin-based materials 6 months after their placement in dental non-carious cervical lesions (NCCL).
Diana Onet +7 more
doaj +1 more source
Decomposing Spanish dative clitics
Borealis: An International Journal of Hispanic Linguistics, 2021 In Spanish, dative clitics have standardly been analyzed differently from accusative ones. The apparent different constraints that regulate each of these clitic doubling constructions have been at the base of the differing analyses.
Adolfo Ausin +1 more
doaj +1 more source
Valency-Increasing Mechanism in the Dawan Language
Suar Betang, 2022 This article discusses the valency-increasing mechanism in the Dawan language. The data was obtained through observation of Dawan language speakers by applying the note-taking method.
Naniana N. Benu +3 more
doaj +1 more source
Konstruksi Aplikatif Bahasa Indonesia
Diglosia, 2022 This research has the purpose of identifying and investigating the applicative constructions of Indonesian. The research conducted a descriptive qualitative method.
Nurhayati Sitorus, Mulyadi Mulyadi
doaj +1 more source
Properties of applied objects in Kiswahili and Kindendeule
Studies in African Linguistics, 1998 This paper examines objects which are licensed by the applicative affix in the Bantu languages of Kindendeule and Kiswahili. The data show that all verbs can take the applicative suffix deriving transitive verbs from intransitive verbs, and ditransitive ...
Deo Ngonyani
doaj +3 more sources
A categorical framework for congruence of applicative bisimilarity in higher-order languages [PDF]
Logical Methods in Computer Science, 2022 Applicative bisimilarity is a coinductive characterisation of observational equivalence in call-by-name lambda-calculus, introduced by Abramsky (1990). Howe (1996) gave a direct proof that it is a congruence, and generalised the result to all languages ...
Tom Hirschowitz, Ambroise Lafont
doaj +1 more source
Optional se constructions and flavours of applicatives in Spanish
Isogloss, 2022 This paper addresses Spanish optional se constructions, which host a reflexive clitic serving as a non-selected argument in transitive structures (comer(se) la manzana ‘eat.REFL the apple’).
Fabienne Martin, Sudha Arunachalam
doaj +1 more source