Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Implementing a Normalizer Using Sized Heterogeneous Types
 

Summary: Implementing a Normalizer Using Sized
Heterogeneous Types
Normalization of -Terms by Structural Recursion
Andreas Abel
Mathematically Structured Functional Programming
Kuressaare, Estonia, July 2, 2006
Outline
Contents
1 Introduction 1
2 The Meta-Language: F 1
3 The Object Language: STL 3
4 De Bruijn Implementation 5
5 Conclusion 7
1 Introduction
Interpreters
∑ Turing-complete Language L: can implement its own interpreter.
∑ What meta-language ML is required to interpret a total (=terminating) language
L?
∑ ML should also be total.
∑ Here: L = simply-typed -calculus

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences