✦ LIBER ✦

Extending interactive data language with higher-order functions

✍ Scribed by Ronald T. Kneusel

Book ID: 106573650
Publisher: Springer
Year: 2008
Tongue: English
Weight: 196 KB
Volume: 4
Category: Article
ISSN: 1614-5046
DOI: 10.1007/s11334-008-0068-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Analysis of event-mode data with Interac

Analysis of event-mode data with Interactive Data Language

✍ Paul A. DeYoung; Benjamin B. Hilldore; Lee M. Kiessel; Graham F. Peaslee 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 80 KB

A fully abstract semantics for a higher-

A fully abstract semantics for a higher-order functional language with nondeterministic computation

✍ Alan Jeffrey 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 299 KB

This paper presents a functional programming language, based on Moggi's monadic metalanguage. In the ÿrst part of this paper, we show how the language can be regarded as a monad on a category of signatures, and that the resulting category of algebras is equivalent to the category of computationally

Higher-order extended finite elements wi

Higher-order extended finite elements with harmonic enrichment functions for complex crack problems

✍ S. E. Mousavi; E. Grinspun; N. Sukumar 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 544 KB

Neural network models with higher order

Neural network models with higher order neural interactions

✍ A.E. Busch; L.E.H. Trainor 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 45 KB

Higher order duality in multiobjective f

Higher order duality in multiobjective fractional programming with support functions

✍ S.K. Suneja; Manjari K. Srivastava; Meetu Bhatia 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 193 KB

Light flavor baryon spectrum with higher

Light flavor baryon spectrum with higher order hyperfine interactions

✍ Yan Chen; Bo-Qiang Ma 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 209 KB