„Typisierte Programmiersprache“
Suchergebnisse
1.000+ Treffer
-
Isomorphisms of types – from λ-calculus to information retrieval and language design
-
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
-
Locally boolean domains and universal models for infinitary sequential languages
-
A universal realizability model for sequential functional computation
-
Perspektiven: persistente Objekte mit anwendungsspezifischer Struktur und Funktionalität
-
Region based program specialization – an operational approach to polymorphic offline partial evaluation for ML-like languages
-
Programming Languages and Systems – 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
-
Generic and Indexed Programming – International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
-
Programming languages and systems – proceedings
-
Types in compilation – second international workshop ; proceedings
-
Types in compilation – third international workshop ; revised selected papers
-
Programming languages and systems – proceedings
-
Unterstützung für Objektsammlungen in statisch getypten objektorientierten Programmiersprachen
-
A universal realizability model of sequential functional computation
-
Region based programm specialization – an operational approach to polymorphic offline partial evaluation for ML-like languages
-
Überladung in Typsystemen
-
Perspektiven: persistente Objekte mit anwendungsspezifischer Struktur und Funktionalität
-
Polarized higher-order subtyping
-
Concurrent object oriented programming with process types
-
Subclass inheritance in spectral and higher-order pattern narrowing