Open AccessFunctional programming with λ$-tree$ syntax: a progress report
Author(s) -
Ulysse Gérard,
Dale Miller
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - programming language , computer science , syntax , abstract syntax , scope (computer science) , semantics (computer science) , abstract syntax tree , functional programming , tree (set theory) , artificial intelligence , mathematics , mathematical analysis