Affordable Access

deepdyve-link deepdyve-link
Publisher Website

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis

Authors
Type
Published Article
Publication Date
Submission Date
Identifiers
DOI: 10.4204/EPTCS.121.2
arXiv ID: 1307.8203
Source
arXiv
External links

Abstract

Statistics

Seen <100 times