Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,454,181 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
Index-Stratified Types
R. Jacob-Rao
,
B. Pientka
,
D. Thibodeau
International Conference on Formal Structures for…
2018
Corpus ID: 32899379
We present Tores, a core language for encoding metatheoretic proofs. The novel features we introduce are well-founded Mendler…
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
2009
2009
2009 Workshop on Normalization by Evaluation
S. Lindley
2009
Corpus ID: 195986791
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