Concept

Lambda lifting

Publications associées (49)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Observation of B^{+}→pΛ[over ¯]π^{+}π^{-} at Belle

Olivier Schneider, Mingkui Wang, Chao Wang, Vladislav Balagura, Remi Léandre Albert Louvot

We study charmless B+ meson decays to the p Lambda pi(+)pi(-) final state using a 605 fb(-1) data sample collected at the Upsilon(4S) resonance with the Belle detector at the KEKB asymmetric-energy e(+)e(-) collider. There are significant signals found wit ...

2009

Full Functional Verification of Linked Data Structures

Viktor Kuncak

We present the first verification of full functional correctness for a range of linked data structure implementations, including mutable lists, trees, graphs, and hash tables. Specifically, we present the use of the Jahob verification system to verify form ...

2008

Constraint Solving for Software Reliability and Text Analysis

Viktor Kuncak

We will develop and implement new algorithms for constraint solving and apply them to construct two classes of tools: 1) bug finding and verification tools building on tools such as Java PathFinder and Jahob; 2) tools for deep semantic analysis of texts co ...

2008

Room temperature polariton lasing in a GaN/AlGaN multiple quantum well microcavity

Nicolas Grandjean, Jean-François Carlin, Raphaël Butté, Eric Feltin, Gabriel Christmann

The authors report room temperature polariton lasing at lambda similar to 345 nm in a hybrid AlInN/AlGaN multiple quantum well microcavity (MQW-MC) containing a GaN/AlGaN MQW active region, i.e., the achievement under nonresonant optical excitation of cohe ...

2008

Indocyanine green as a prospective sensitizer for photodynamic therapy of melanomas

Patrycja Nowak-Sliwinska

Spectroscopic, photochemical and biological properties of indocyanine green (ICG) are presented. Light over 800 nm is effectively absorbed by ICG. This property as well as photochemical behaviour of ICG make it a very suitable dye for photodynamic treatmen ...

Polish Academy of Sciences / Acta Biochimica Polonica2002

A Functional View of Join

Martin Odersky, Matthias Zenger

Join calculus, usually presented as a process calculus, is suitable as a foundation of both sequential and concurrent programming. We give a new operational semantics of join calculus, expressed as a reduction system with a single reduction rule similar to ...

1999

Functional Nets

Martin Odersky

Foundational work on programming has been based traditionally on some variant of lambda calculus. This approach, while ideally suited to sequential programming, is increasingly at odds with modern programs which are reactive in their interfaces and concurr ...

1999

Shift-multiplexed holographic memory using the two-lambda method

Demetri Psaltis

We present theoretical and experimental results on the application of the two-lambda method for prolonged readout of holographic memories to shift multiplexing implemented with a spherical-wave reference beam. ...

1996

High-Temperature Heat-Capacity And Phase-Transitions Of CaTiO3 Perovskite

Philippe Gillet

Drop-calorimetry measurements performed on CaTiO3 perovskite between 400 and 1800 K have shown the occurrence of two overlapping phase transitions at 1384 and 1520 K. The 1384 K transition shows a lambda-type C(p) variation with a very sharp C(p) decrease ...

1993