Constant
发表于 2025-3-27 00:25:36
http://reply.papertrans.cn/17/1602/160130/160130_31.png
otic-capsule
发表于 2025-3-27 04:07:41
Gilles Barthe,Peter Dybjer,João SaraivaIncludes supplementary material:
Delude
发表于 2025-3-27 09:15:23
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/b/image/160130.jpg
inflate
发表于 2025-3-27 09:54:22
Gerhard Eschelbeck,Christian Hartliformly in the framework of dependent types, in which types may depend on values. The purpose of this chapter is to give some background for such an analysis..We present here precise theorems, that should hopefully help the reader to understand to which extent statements like “introducing dependent
Cupidity
发表于 2025-3-27 16:49:31
https://doi.org/10.1007/978-0-387-34951-0on the other. The introduction of monads has made a large step towards reconciling these alternatives. First proposed by Moggi as a way of structuring semantic descriptions, they were adopted by Wadler to structure Haskell programs. Monads have been used to solve long-standing problems such as addin
epicardium
发表于 2025-3-27 18:56:32
Ralf Denzer,Gerald Schimak,David Russelllanguage. Then we add a simple control operator and extend the abstract machines accordingly. We give some examples of their use. Then, restricting our attention to the sole core (typed) λ-calculus fragment augmented with the control operator, we give a logical status to the machinery. Evaluation co
训诫
发表于 2025-3-28 00:09:07
P. H. Osanna,D. Prostrednik,A. Osannaatory version of Gödel System T. Then we show normalization by evaluation for typed lambda calculus with . and . conversion. Finally, we introduce the notion of binding time, and explain the method of type-directed partial evaluation for a small PCF-style functional programming language. We give alg
Flatter
发表于 2025-3-28 05:54:35
Jiří Hřebíček,Ralf Denzer,Tomáš Pitnerinite stream of signed digits, based on the interval [−1,1]. Numerical operations are implemented in terms of . (LFT’s). We derive lower and upper bounds for the number of argument digits that are needed to obtain a desired number of result digits of a computation, which imply that the complexity of
insomnia
发表于 2025-3-28 09:39:34
https://doi.org/10.1007/978-3-319-89935-0buted and mobile programming. It is characterized by an explicit notion of locality, a strict adherence to local synchronization, and a direct embedding of the ML programming language. The join calculus is used as the basis for several distributed languages and implementations, such as JoCaml and fu
斑驳
发表于 2025-3-28 13:03:56
Jiří Hřebíček,Ralf Denzer,Tomáš Pitnerical foundation in Join calculus. This paper gives an overview of functional nets as a kernel programming language, it presents an object-based version of Join calculus, and it shows how the two relate.