Syntax for free: representing syntax with binding using parametricity

We show that, in a parametric model of polymorphism, the type ∀ α. ((α → α) → α) → (α → α → α) → α is isomorphic to closed de Bruijn terms. That is, the type of closed higher-order abstract syntax terms is isomorphic to a concrete representation. To demonstrate the proof we have constructed a model of parametric polymorphism inside the Coq proof assistant. The proof of the theorem requires parametricity over Kripke relations. We also investigate some variants of this representation

EXPLORING THE ROLE OF OSPREYS IN EDUCATION

Recent research in childhood education has demonstrated that experiences in nature are important in shaping early environmental consciousness (Hinds and Sparks 2008, Hussar and Horvath 2011, Cheng and Monroe 2012) and ultimately the expression of pro-environmental attitudes and behaviors during adulthood (Wells and Lekies 2006, Chawla and Cushing 2007, Collado et al. 2013). Increasingly, those experiences happen via written and electronic media (e.g., textbooks, computer screens) or in very anthropogenic environments (e.g., in parks and zoos) and less through direct contact with nature, a concept Louv (2005) referred to as ‘‘nature deficit disorder.’’ Even in schools where environmental education is prioritized, the extent of access to outdoor classroom activities or experiential learning opportunities can limit the degree to which children can observe, explore, and directly experience the natural world (Hudson 2001, Louv 2005, Ernst 2009). Interestingly, the same information technologies that might serve to limit contact with nature also have the potential to enhance and encourage interest and concern for the natural world (Blewitt 2011, Pearson et al. 2011). We believe this is an important paradox that warrants much further exploration and evaluation within educational and scientific communities

Data from a pre-publication independent replication initiative examining ten moral judgement effects

We present the data from a crowdsourced project seeking to replicate findings in independent laboratories before (rather than after) they are published. In this Pre-Publication Independent Replication (PPIR) initiative, 25 research groups attempted to replicate 10 moral judgment effects from a single laboratory's research pipeline of unpublished findings. The 10 effects were investigated using online/lab surveys containing psychological manipulations (vignettes) followed by questionnaires. Results revealed a mix of reliable, unreliable, and culturally moderated findings. Unlike any previous replication project, this dataset includes the data from not only the replications but also from the original studies, creating a unique corpus that researchers can use to better understand reproducibility and irreproducibility in science

The pipeline project: Pre-publication independent replications of a single laboratory's research pipeline

This crowdsourced project introduces a collaborative approach to improving the reproducibility of scientific research, in which findings are replicated in qualified independent laboratories before (rather than after) they are published. Our goal is to establish a non-adversarial replication process with highly informative final results. To illustrate the Pre-Publication Independent Replication (PPIR) approach, 25 research groups conducted replications of all ten moral judgment effects which the last author and his collaborators had “in the pipeline” as of August 2014. Six findings replicated according to all replication criteria, one finding replicated but with a significantly smaller effect size than the original, one finding replicated consistently in the original culture but not outside of it, and two findings failed to find support. In total, 40% of the original findings failed at least one major replication criterion. Potential ways to implement and incentivize pre-publication independent replication on a large scale are discussed