BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (5)
function (3)
fresh (3)
syntax (3)
hybrid (2)

Stem binder$ (all stems)

14 papers:

CADECADE-2013-Mayer #hybrid #logic #proving #transitive
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (MCM), pp. 76–90.
FoSSaCSFoSSaCS-2012-KurzST #on the #regular expression
On Nominal Regular Languages with Binders (AK, TS, ET), pp. 255–269.
ICALPICALP-v2-2012-FernandezR #term rewriting
Nominal Completion for Rewrite Systems with Binders (MF, AR), pp. 201–213.
POPLPOPL-2012-CaveP #data type #programming
Programming with binders and indexed data-types (AC, BP), pp. 413–424.
ICFPICFP-2011-WeirichYS #bound
Binders unbound (SW, BAY, TS), pp. 333–345.
ICFPICFP-2010-PouillardP #fresh look #programming
A fresh look at programming with names and binders (NP, FP), pp. 217–228.
ESOPESOP-2009-LakinP #functional #higher-order #induction #programming
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming (MRL, AMP), pp. 47–61.
QAPLQAPL-2006-DeganoPPQ #biology
Beta-binders for Biological Quantitative Experiments (PD, DP, CP, PQ), pp. 101–117.
CSLCSL-2005-CateF #complexity #hybrid #logic #on the
On the Complexity of Hybrid Logics with Binders (BtC, MF), pp. 339–354.
ICFPICFP-2003-ShinwellPG #named #programming
FreshML: programming with binders made simple (MRS, AMP, MG), pp. 263–274.
ICFPICFP-2001-Pitts #approach #functional #programming #representation #syntax
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming (AMP), p. 1.
ICLPCL-2000-Miller #bibliography #perspective #syntax
Abstract Syntax for Variable Binders: An Overview (DM), pp. 239–253.
GPCEGCSE-1999-Jarvi #c++
C++ Function Object Binders Made Easy (JJ), pp. 165–177.
LICSLICS-1999-GabbayP #approach #syntax
A New Approach to Abstract Syntax Involving Binders (MG, AMP), pp. 214–224.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.