Welcome to the Name Binding Blog!

Welcome.

We hope that the nascent blog will serve as a forum for discussion and the dissemination of ideas throughout the name binding community.  Subjects considered on topic include, but are not limited to, nominal techniques, higher-order abstract syntax and its variants, locally nameless approaches, de Bruijn indices and related techniques.  Applications of these techniques, broadly construed, will also be considered on topic, including libraries, programming languages, theorem provers, logics, calculi etc.

At the moment, we are still in the process of finalizing the installation and configuration of the blog.  Please wait while we ready the site to “go live”!

2 Responses to “Welcome to the Name Binding Blog!”


  1. 1 Jacques Le Normand October 7, 2009 at 7:26 am

    Hey,
    I’ve developed a language and library which tackles bindings in a more syntactic setting. My approach is called “token types”. The prototypical would be this (working) O’Caml code:

    token new_variable = “[a-zA-Z_]+” creates variable

    grammar term :
    Lam : new_variable, “->”, term
    | Application: term, term
    | Variable: variable

    let test = SEditable.input node_of_term

    more information can be found at

    http://sites.google.com/site/rathereasy/oset/manual

  2. 2 Name Binding Admin October 7, 2009 at 9:52 am

    Hi Jacques,

    Thanks for the link. I remember you posting about EastWest on Lambda the Ultimate.

    Can you say more about your library? I had a look at the manual page, and don’t understand what is going on. With your library, can you somehow write functions that operate on alpha-equivalence classes (like FreshML)? How does your approach differ from standard first-order representations of languages with bindings?

    I look forward to hearing more.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s





%d bloggers like this: