The so-called ‘typed tagless final’ approach of Carette et al. [6] has collected and polished a number of techniques for representing typed higher-order languages in a typed metalanguage, along with typepreserving interpretation, compilation and partial evaluation. The approach is an alternative to the traditional, or ‘initial’ encoding of an object language as a (generalized) algebraic data ty...

Meta-programming is a well-known technique widely used in logic programming and artificial intelligence. Meta-interpreters are powerful tools especially for writing expert systems in general and for writing their inference machines in particular. While the traditional approach to meta-interpretation is based on the syntactic definition of a meta-interpreter, new approach presented in this paper...

interpreters for free

Nowadays, the evolution of technology and the increasing use of computers gave the opportunity for developing new methods of education of deaf individuals and sign language interpreters. The e-learning environments that have been developed for the education of sign language provide web-based courses, designed to effectively teach to anyone the Sign Language. Recognizing the difficulties and bar...