Eckman, Fred R. 2004. Optimality Theory, markedness and second language syntax: the case of resumptive pronouns in relative clauses. Studies in Phonetics, Phonology and Morphology 10.1. 89–110. This paper proposes a constraint-based analysis for what is arguably the most interesting phenomenon in second language (L2) syntax, the occurrence of an L2 error pattern where the regularity cannot be e...

Haskell is a functional programming language whose evaluation is lazy by default. However, Haskell also provides pattern matching facilities which add a modicum of eagerness to its otherwise lazy default evaluation. This mixed or “non-strict” semantics can be quite difficult to reason with. This paper introduces a programming logic, P-logic, which neatly formalizes the mixed evaluation in Haske...

Haskell is a functional programming language whose evaluation is lazy by default. However, Haskell also provides pattern matching facilities which add a modicum of eagerness to its otherwise lazy default evaluation. This mixed or “non-strict” semantics can be quite difficult to reason with. This paper introduces a programming logic, P-logic, which neatly formalizes the mixed evaluation in Haske...

In this paper we develop the language theory underpinning the logical framework PLF. This language features lambda abstraction with patterns and application via pattern-matching. Reductions are allowed in patterns. The framework is particularly suited as a metalanguage for encoding rewriting logics and logical systems where proof terms have a special syntactic constraints, as in term rewriting ...

Abstract This study investigated the validity of processability theory proposed by Pienemann (1998/2015) among Iranian EFL learners’ oral performance. The theory defines six procedural stages for learners in the process of second language acquisition. In order to conduct the study, 10 intermediate EFL learners were selected based on their performance on Oxford Placement Test. Then, they partici...

the realization optimality theory is a recent development in the original optimality theory which is proposed to deal with morphological issues especially the inflectional ones. its main idea is to consider the morphological realization rules as ranked violable language-specific constraints that control the realization processes and provide phonological information of grammatical morphemes. thi...

the auther first defines that a theory is an interrrelated set of definitions and propositions, put forth to anticipate and explain the phenomena by dint of recognizing the relation between factors.the developmental theory, ascientific theory based on genetic methods aims to render a new organizattioin of the data and the relevant knowledge.upon this, piaget proviedes a co-variational relation ...