Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,791,805 papers from all fields of science
Search
Sign In
Create Free Account
Normalisation by evaluation
Known as:
Normalization by evaluation
In programming language semantics, normalisation by evaluation (NBE) is a style of obtaining the normal form of terms in the λ calculus by appealing…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Beta normal form
Combinatory logic
Denotational semantics
Domain theory
Expand
Broader (1)
Lambda calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Normalization by gluing for free {\lambda}-theories
Jonathan Sterling
,
Bas Spitters
2018
Corpus ID: 52815555
The connection between normalization by evaluation, logical predicates and semantic gluing constructions is a matter of folklore…
Expand
2010
2010
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Fuji International Symposium on Functional and…
2010
Corpus ID: 11278508
2010
2010
Internal Normalization, Compilation and Decompilation for System F
Berardi Stefano
,
Tatsuta Makoto
2010
Corpus ID: 195979068
This paper defines a family of terms of System F which is a decompiler-normalizer for an image of System F by some injective…
Expand
2009
2009
Lifted inference : normalizing loops by evaluation
O. Kiselyov
,
Usa oleg
,
com Chung-chieh Shan
2009
Corpus ID: 6901068
Many loops in probabilistic inference map almost every individual in their domain to the same result. Running such loops…
Expand
Review
2008
Review
2008
Programs : Improvements , Complexity , and Meanings
Schloss Dagstuhl
2008
Corpus ID: 16714659
State Machines and Linear Time Hierarchies Yuri Gurevich University of Michigan (This is joint work with Andreas Blass.) We…
Expand
2006
2006
Machine Extraction of the Normalization-by-Evaluation Algorithm from a Normalization Proof
D. Schlenker
,
H. Schwichtenberg
2006
Corpus ID: 10368766
In this paper a formal proof of normalization of the simply typed λ-calculus is introduced, which was implemented in the proof…
Expand
2004
2004
Normalization by evaluation for λ→2
Thorsten Altenkirch
,
T. Uustalu
2004
Corpus ID: 126119470
We show that the set-theoretic semantics of λ →2 -simply typed lambda calculus with a boolean type but no type variables-is…
Expand
2003
2003
Normalisation du Yémen
F. Burgat
2003
Corpus ID: 177931179
2002
2002
Normalization and Partial
EvaluationPeter Dybjer
,
Andrzej Filinski
2002
Corpus ID: 14977298
1998
1998
Integrating Normalization-by-Evaluation into a Staged Programming Language
T. Sheard
1998
Corpus ID: 13858191
We have designed MetaML a multi-stage programming language, as a meta-programming system, i.e. a system which is used to write…
Expand