Bookcover of Namely, Painless
Booktitle:

Namely, Painless

A unifying approach to safe programming with first-order syntax with binders

LAP LAMBERT Academic Publishing (2012-06-06 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-659-13462-3

ISBN-10:
3659134627
EAN:
9783659134623
Book language:
English
Blurb/Shorttext:
This book presents a novel approach to safe meta-programming. A meta-program is a program which processes programs or similar data. Compilers and theorem provers are prime examples of meta-programs which could benefit from this approach. To this end, this work focuses on the representation of names and binders in data structures. Our technique is demonstrated on several examples including normalization by evaluation which is known to be challenging. We show that our world-indexed approach can express a wide range of data types by embedding several definition languages from the literature.
Publishing house:
LAP LAMBERT Academic Publishing
Website:
https://www.lap-publishing.com/
By (author) :
Nicolas Pouillard
Number of pages:
192
Published on:
2012-06-06
Stock:
Available
Category:
Programming language
Price:
68.00 €
Keywords:
Names, meta-programming, binders, program representation

Books loader

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING