The Experts below are selected from a list of 4188 Experts worldwide ranked by ideXlab platform
Leonid Tiokhin - One of the best experts on this subject based on the ideXlab platform.
-
Bridging Evolutionary Biology and Developmental Psychology: Toward An Enduring Theoretical Infrastructure.
Child development, 2018Co-Authors: Willem E. Frankenhuis, Leonid TiokhinAbstract:Bjorklund synthesizes promising research directions in developmental psychology using an evolutionary framework. In general terms, we agree with Bjorklund: Evolutionary theory has the potential to serve as a Metatheory for developmental psychology. However, as currently used in psychology, evolutionary theory is far from reaching this potential. In evolutionary biology, formal mathematical models are the norm. In developmental psychology, verbal models are the norm. In order to reach its potential, evolutionary developmental psychology needs to embrace formal modeling.
Willem E. Frankenhuis - One of the best experts on this subject based on the ideXlab platform.
-
Bridging Evolutionary Biology and Developmental Psychology: Toward An Enduring Theoretical Infrastructure.
Child development, 2018Co-Authors: Willem E. Frankenhuis, Leonid TiokhinAbstract:Bjorklund synthesizes promising research directions in developmental psychology using an evolutionary framework. In general terms, we agree with Bjorklund: Evolutionary theory has the potential to serve as a Metatheory for developmental psychology. However, as currently used in psychology, evolutionary theory is far from reaching this potential. In evolutionary biology, formal mathematical models are the norm. In developmental psychology, verbal models are the norm. In order to reach its potential, evolutionary developmental psychology needs to embrace formal modeling.
Ian Green - One of the best experts on this subject based on the ideXlab platform.
-
system description proof planning in higher order logic with lambda clam
Conference on Automated Deduction, 1998Co-Authors: Julian Richardson, Alan Smaill, Ian GreenAbstract:This system description outlines the λClam system for proof planning in higher-order logic. The usefulness and feasibility of applying higher-order proof planning to a number of types of problem is outlined, in particular the synthesis and verification of software and hardware systems. The use of a higher-order Metatheory overcomes problems encountered in Clam because of its inability to reason properly about higher-order objects. λClam is written in λProlog.
Mirjam D Werner - One of the best experts on this subject based on the ideXlab platform.
-
metatheories and metaphors of organizational identity integrating social constructionist social identity and social actor perspectives within a social interactionist model
International Journal of Management Reviews, 2017Co-Authors: Alexander S Haslam, Joep Cornelissen, Mirjam D WernerAbstract:This review examines three dominant metatheories of organizational identity that are grounded in social constructionist, social identity, and social actor theorizing. It focuses on root metaphors of framing, categorization and personification that are associated with each Metatheory and outlines differences in their assumptions, key constructs, and forms of analysis. The review shows how the emphasis of each root metaphor serves to direct research along a particular path in ways that often lead to a siloing of research knowledge. However, while laying bare the foundations of each Metatheory and discussing the nature of the empirical projects by which they are supported, we also seek to draw them more closely together. In particular, we do this by elaborating an integrative social interactionist model in which organizational identity is understood to be the product of recursive interaction between bottom-up and top-down processes of identity consensualization and contestation.
Tom Schrijvers - One of the best experts on this subject based on the ideXlab platform.
-
A mechanical formalization of higher-ranked polymorphic type inference
Proceedings of the ACM on Programming Languages, 2019Co-Authors: Jinxu Zhao, Bruno C. D. S. Oliveira, Tom SchrijversAbstract:Modern functional programming languages, such as Haskell or OCaml, use sophisticated forms of type inference. While an important topic in the Programming Languages research, there is little work on the mechanization of the Metatheory of type inference in theorem provers. In particular we are unaware of any complete formalization of the type inference algorithms that are the backbone of modern functional languages. This paper presents the first full mechanical formalization of the Metatheory for higher-ranked polymorphic type inference. The system that we formalize is the bidirectional type system by Dunfield and Krishnaswami (DK). The DK type system has two variants (a declarative and an algorithmic one) that have been manually proven sound , complete and decidable . We present a mechanical formalization in the Abella theorem prover of DK’s declarative type system with a novel algorithmic system. We have a few reasons to use a new algorithm. Firstly, our new algorithm employs worklist judgments , which precisely capture the scope of variables and simplify the formalization of scoping in a theorem prover. Secondly, while DK’s original formalization comes with very well-written manual proofs, there are several details missing and some incorrect proofs, which complicate the task of writing a mechanized proof. Despite the use of a different algorithm we prove the same results as DK, although with significantly different proofs and proof techniques. Since such type inference algorithms are quite subtle and have a complex Metatheory, mechanical formalizations are an important advance in type-inference research.