Enumerating Well-Typed Terms Generically

被引：0

作者：

Yakushev, Alexey Rodriguez ^{[1
]}

Jeuring, Johan ^{[2
,3
]}

机构：

[1] Vector Fabr BV, Paradijslaan 28, NL-5611 KN Eindhoven, Netherlands

[2] Univ Utrecht, Dept Informat & Comp Sci, NL-3508 TB Utrecht, Netherlands

[3] Open Univ Netherlands, Sch Comp Sci, NL-6401 DL Heerlen, Netherlands

来源：

APPROACHES AND APPLICATIONS OF INDUCTIVE PROGRAMMING | 2010年 / 5812卷

关键词：

SCRAP;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We use generic programming techniques to generate well-typed lambda terms. We encode well-typed terms by means of generalized algebraic datatypes (GADTs) and existential types. The Spine approach to generic programming supports GADTs, but it does not support the definition of generic producers for existentials. We describe how to extend the Spine approach to support existentials and we use the improved Spine to define a generic enumeration function. We show that the enumeration function can be used to generate the terms of simply typed lambda calculus.

引用

页码：93 / +

页数：2

共 50 条

[41] Rural Well-Being: Not a Contradiction in Terms
Thurman, Whitney
Harrison, Tracie
Walker, Veronica
INTERNATIONAL JOURNAL OF QUALITATIVE METHODS, 2019, 18
[42] A generically well-posed H2 control problem for a one shot feedforward and feedback synthesis
Fauvel, Clement
Claveau, Fabien
Chevrel, Philippe
2013 17TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2013, : 201 - 206
[43] Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms
Tarau, Paul
FUNDAMENTA INFORMATICAE, 2020, 177 (3-4) : 385 - 415
[44] DESCRIPTION OF A COMPOSITE PARTICLE IN TERMS OF A FUNCTIONAL POTENTIAL WELL
FINKELSTEIN, R
GASIOROWICZ, SG
KAUS, P
CANADIAN JOURNAL OF PHYSICS, 1954, 32 (07) : 480 - 491
[45] Subjective well-being and gender-typed attributes in adolescents: The relevance of emotional intelligence
Martinez-Marin, Maria D.
Martinez, Carmen
AUSTRALIAN JOURNAL OF PSYCHOLOGY, 2019, 71 (03) : 296 - 304
[46] Technical Note Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers
Bendkowski, Maciej
Grygiel, Katarzyna
Tarau, Paul
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (01) : 97 - 119
[47] A well typed phoswich detector consisting of CsI and plastic scintillators for low level radioactivity measurements
Xu, Jia
Liu, Jun
Chen, Xiulian
APPLIED RADIATION AND ISOTOPES, 2021, 169
[48] FROM SINGLE WELL CHAOS TO CROSS WELL CHAOS - A DETAILED EXPLANATION IN TERMS OF MANIFOLD INTERSECTIONS
KATZ, AL
DOWELL, EH
INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 1994, 4 (04): : 933 - 941
[49] All solutions of 3D arc-typed well-path planning model
Fang, Min
Lu, Gang
Wang, Libo
Tongji Daxue Xuebao/Journal of Tongji University, 2009, 37 (03): : 317 - 321
[50] Rethinking Well-Being in Terms of Affliction and Equanimity: Development of a Holistic Well-Being Scale
Chan, Celia H. Y.
Chan, Timothy H. Y.
Leung, Pamela P. Y.
Brenner, Mark J.
Wong, Venus P. Y.
Leung, Eric K. T.
Wang, Xiaolu
Lee, Mo Yee
Chan, Jessie S. M.
Chan, Cecilia L. W.
JOURNAL OF ETHNIC & CULTURAL DIVERSITY IN SOCIAL WORK, 2014, 23 (3-4): : 289 - 308

← 1 2 3 4 5 →