𝔖 Bobbio Scriptorium

✦ LIBER ✦

Security type error diagnosis for higher-order, polymorphic languages

✍ Scribed by Weijers, Jeroen; Hage, Jurriaan; Holdermans, Stefan

Book ID: 122026009
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 869 KB
Volume: 95
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.03.011

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 1990 IEEE Workshop on

[IEEE Comput. Soc 1990 IEEE Workshop on Visual Languages - Skokie, IL, USA (4-6 Oct. 1990)] Proceedings of the 1990 IEEE Workshop on Visual Languages - Enhancing Show-and-Tell with a polymorphic type system and higher-order functions

✍ Najork, M.A.; Golin, E. 📂 Article 📅 1990 🏛 IEEE Comput. Soc 🌐 English ⚖ 502 KB

Shannon’s Sampling Theorem for Bandlimit

Shannon’s Sampling Theorem for Bandlimited Signals and Their Hilbert Transform, Boas-Type Formulae for Higher Order Derivatives—The Aliasing Error Involved by Their Extensions from Bandlimited to Non-Bandlimited Signals

✍ Butzer, Paul L.; Schmeisser, Gerhard; Stens, Rudolf L. 📂 Article 📅 2012 🏛 Molecular Diversity Preservation International 🌐 English ⚖ 396 KB