CUB
发表于 2025-3-23 10:01:25
Fission for Program Comprehension transformation, in reverse: creating structure, ex nihilo. We explore the use of fission for ., that is, for reconstructing the design of a program from its implementation. We illustrate through rational reconstructions of the designs for three different C programs that count the words in a text fi
揉杂
发表于 2025-3-23 17:05:29
“Scrap Your Boilerplate” Revolutionsuction on the structure of types. “Scrap your boilerplate” (SYB) is a radically different approach that dispatches on the structure of values. In previous work, we have shown how to reconcile both approaches using the concept of generic views: many generic functions can be based either on the classi
古代
发表于 2025-3-23 18:54:26
Generic Views on Data TypesyP a pattern functor gives the structure of a data type viewed as a fixed point, and in Generic Haskell a structural representation type gives an isomorphic type view of a data type in terms of sums of products. Depending on this generic view on the structure of data types, some generic functions ar
热心助人
发表于 2025-3-23 22:21:34
http://reply.papertrans.cn/63/6270/626957/626957_14.png
antenna
发表于 2025-3-24 02:47:34
Bimonadic Semantics for Basic Pattern Matching Calculi modelling of non-strict pattern matching..While related work in the literature only uses a single monad, typically ., for matchings, we present an axiomatic approach to semantics of these pattern matching calculi using two monads, one for expressions and one for matchings..Although these two monads
osteopath
发表于 2025-3-24 09:19:11
http://reply.papertrans.cn/63/6270/626957/626957_16.png
temperate
发表于 2025-3-24 14:09:13
http://reply.papertrans.cn/63/6270/626957/626957_17.png
步兵
发表于 2025-3-24 17:44:28
http://reply.papertrans.cn/63/6270/626957/626957_18.png
critic
发表于 2025-3-24 21:31:39
http://reply.papertrans.cn/63/6270/626957/626957_19.png
figure
发表于 2025-3-25 02:26:15
Andreas Abelurich, .) has solved a long standing problem of General Relativity of evolutionary formation of trapped surfaces in the Einstein-vacuum space-times. He has identified an open set of regular initial conditions on a finite outgoing null hypersurface leading to a formation a trapped surface in the corr