GOFFIN: Higher-order functions meet concurrent constraints

被引：0

作者：

Technische Universitaet Berlin, Berlin, Germany ^{[1
]}

机构：

来源：

Sci Comput Program | / 1-2卷 / 157-199期

关键词：

* Corresponding author. E-mail: chak@cs.tu-bel-lin.de. ’ Partially supported by EPSRC; UK: project D&~itiuwl Loyicull~~ Correct Concrrrrrnt SJxtenu (GR/H 77547);

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[21] STRICTNESS ANALYSIS FOR HIGHER-ORDER FUNCTIONS
BURN, GL
HANKIN, C
ABRAMSKY, S
SCIENCE OF COMPUTER PROGRAMMING, 1986, 7 (03) : 249 - 278
[22] HIGHER-ORDER DERIVATIVES OF CONNECTED FUNCTIONS
HUSTY, Z
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1990, 40 (03) : 528 - 533
[23] The higher-order derivatives of spectral functions
Sendov, Hristo S.
LINEAR ALGEBRA AND ITS APPLICATIONS, 2007, 424 (01) : 240 - 281
[24] HIGHER-ORDER ANGULAR COHERENCE FUNCTIONS
AGRAWAL, GP
NUOVO CIMENTO DELLA SOCIETA ITALIANA DI FISICA B-BASIC TOPICS IN PHYSICS, 1973, B 18 (02): : 265 - 276
[25] Arithmetic functions of higher-order primes
Czarnecki, Kyle
Giddings, Andrew
INVOLVE, A JOURNAL OF MATHEMATICS, 2020, 13 (02): : 181 - 191
[26] Higher-order homogeneous functions: Classification
Krupka, Demeter
PUBLICATIONES MATHEMATICAE-DEBRECEN, 2021, 99 (3-4): : 495 - 505
[27] CHARACTERISTIC FUNCTIONS AND HIGHER-ORDER LAGRANGIANS
BUCHDAHL, HA
JOURNAL OF MATHEMATICAL PHYSICS, 1988, 29 (05) : 1122 - 1126
[28] MEMORY ALLOCATION AND HIGHER-ORDER FUNCTIONS
DANVY, O
SIGPLAN NOTICES, 1987, 22 (07): : 241 - 252
[29] Intensional computation with higher-order functions
Jay, Barry
THEORETICAL COMPUTER SCIENCE, 2019, 768 : 76 - 90
[30] Higher-order nonlinearity of Kasami functions
Garg, Manish
Khalyavin, Andrey
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2012, 89 (10) : 1311 - 1318

← 1 2 3 4 5 →