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 #
# 2
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.

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

 

Collections: Computer Technologies and Information Sciences