Results 111 to 120 of about 230,472 (297)
Expressibility in the Lambda Calculus with mu
CoRR, 2013 We address a problem connected to the unfolding semantics of functional programming languages: give a useful characterization of those infinite lambda-terms that are lambda_{letrec}-expressible in the sense that they arise as infinite unfoldings of terms in lambda_{letrec}, the lambda-calculus with letrec.
Grabmayer, Clemens, Rochel, Jan
openaire +5 more sources
Metacircularity in the polymorphic [lambda]-calculus
, 2018 : "We consider the question of whether a useful notion of metacircularity existis for the polymorphic [lambda]-calculus. Even though complete metacircularity seems to be impossible, we obtain a close approximation to a metacircular interpreter.
Frank Pfenning (5356877), Lee (3208743)
core +1 more source
Advanced Engineering Materials, EarlyView.Binder‐free laser powder bed fusion of 8YSZ with a femtosecond laser is used to map process windows linking scan strategy, heat accumulation, and grain growth. Time‐resolved thermography and simulations reveal thermal regimes that enable continuous, vitrified, and fine‐grained 8YSZ surface layers without absorptive additives and demonstrate ...
Markus Kühn +5 more
wiley +1 more source
On conservativity of concurrent Haskell [PDF]
, 2011 The calculus CHF models Concurrent Haskell extended by concurrent, implicit futures. It is a process calculus with concurrent threads, monadic concurrent evaluation, and includes a pure functional lambda-calculus which comprises data constructors, case ...
Sabel, David +3 more
core
Termination and semantics of probabilistic lambda calculus [PDF]
This thesis gives a complete method for proving the almost sure termination of probabilistic programs, in a simply-typed higher-order language with continuous random variables and an explicit recursion construct.
Kenyon-Roberts, Andrew
core +2 more sources
Advanced Engineering Materials, EarlyView.CT‐based finite element simulations combined with in situ X‐ray computed tomography are used to analyze insert pull‐out in nickel‐coated polymer foams. Despite variations in material parameters, deformation consistently concentrates within a narrow annular region around the insert.
Yannik Bautz +4 more
wiley +1 more source
Objects and their lambda calculus
Theoretical Computer Science, 2001 A kind of parallel typed lambda calculus is presented based on the language and structure of objects. The term ``object'' is used here in a sense different from that related to the expression ``object-oriented language (programming)''. By ``objects'' here we mean any class of entities which (a) are resource dependent and (b) combine to each other (via ...
openaire +2 more sources
FastNano Liquid: An Automated Platform for Small‐Angle X‐ray Scattering‐Based Materials Discovery
Advanced Engineering Materials, EarlyView.We present FastNano Liquid, an automated small‐ and wide‐angle X‐ray scattering platform for the combined synthesis and characterization of (nano)materials. The platform is coupled to varied reactor workflows for both in situ studies of reaction kinetics and ex situ screening of synthesis conditions to support machine learning‐guided exploration ...
Pierre‐Baptiste Flandrin +16 more
wiley +1 more source
, 2020 Lambda račun sve više i više postaje tema istraživanja kako u matematici tako i u računarstvu. Teorijska je podloga jedne čitave grane programiranja (funkcionalno programiranje), a istovremeno je usko povezan s teorijom izračunljivosti.
Celio Cega, Matko
core +2 more sources
Advanced Engineering Materials, EarlyView.Cu and combined Cu–P microalloying refine the microstructure and enhance the nanoindentation‐derived fracture resistance of CoNiAlSi ferromagnetic shape memory alloys without suppressing the martensitic transformation. Comparative SEM, DSC, and nanoindentation results reveal that the CuP‐containing alloy provides the most balanced response, achieving ...
Mehmet Demir
wiley +1 more source