Results 41 to 50 of about 750 (245)
Program equivalence for a concurrent lambda calculus with futures
, 2006 Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Sabel, David +3 more
core
Orbital Geometry‐Governed Response of Pressure‐Tunable Quantum Defects in hBN
Advanced Functional Materials, EarlyView.Defects in hBN act as ultrasensitive quantum manometers when the energy of the intradefect optical transitions is modified by lattice compression. The orbital geometry of the electron wave functions governs how electron hopping and Coulomb interactions react uniquely to the reduction of the van der Waals gap and in‐plane compression, leading to robust ...
Magdalena Grzeszczyk +6 more
wiley +1 more source
, 2003 This paper proposes a non-standard way to combine lazy functional languages with I/O. In order to demonstrate the usefulness of the approach, a tiny lazy functional core language FUNDIO , which is also a call-by-need lambda calculus, is investigated. The
Schmidt-Schauß, Manfred
core
, 2009 Functional programming is a programming paradigm like object-oriented programming and logic programming. Functional programming comprises both a specific programming style and a class of programming languages that encourage and support this programming ...
Chitil, Olaf
core
Titanium Suboxides Responsible for Electronic Anomaly Near Room Temperature in the Ti3C2Tx MXene
Advanced Functional Materials, EarlyView.Our multi‐technique study reveals that the near‐room‐temperature anomaly in Ti3C2Tx MXene is linked to titanium suboxide nanodomains, including Ti3O5, embedded within the MXene host. Their temperature‐driven transformation provides an alternative explanation to solvent‐ and swelling‐based models and offers new insight into the thermally activated ...
Bence G. Márkus +8 more
wiley +1 more source
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
, 2012 This paper shows equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in LR, the deterministic call-by-need lambda calculus with letrec extended by data constructors, case ...
Sabel, David +2 more
core
A generic operational metatheory for algebraic effects [PDF]
, 2010 We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of algebraic effects, and incorporates, as instances: errors, input/output, global ...
Simpson, Alex +6 more
core +1 more source
Exciton Binding Energy of Phosphorescent Emitter Molecules in Organic Light‐Emitting Diodes
Advanced Functional Materials, EarlyView.Energy level alignment is key to efficient OLED design, yet determining LUMO energies remains challenging. A methodology based on field‐induced dissociation and kinetic Monte Carlo simulations is presented to extract LUMO energies of iridium‐based phosphorescent emitters from their exciton binding energy.
Hiroki Tomita +6 more
wiley +1 more source
Towards sharing in lazy computation systems
, 2004 Work on proving congruence of bisimulation in functional programming languages often refers to [How89,How96], where Howe gave a highly general account on this topic in terms of so-called lazy computation systems .
Mann, Matthias, Matthias Mann
core
SCC: A Service Centered Calculus
, 2006 We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of
Rocco DE NICOLA +35 more
core +1 more source