„Typisierte Programmiersprache“

Suchergebnisse

1.000+ Treffer

• Isomorphisms of types – from λ-calculus to information retrieval and language design
  Di Cosmo, Roberto 1995 Birkhäuser
• Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
  Giarrusso, Paolo G. ; Ostermann, Klaus 2020 Universitätsbibliothek Tübingen
• Locally boolean domains and universal models for infinitary sequential languages
  Löw, Tobias
• A universal realizability model for sequential functional computation
  Rohr, Alexander
• Perspektiven: persistente Objekte mit anwendungsspezifischer Struktur und Funktionalität
  Reddig, Wolfgang
• Region based program specialization – an operational approach to polymorphic offline partial evaluation for ML-like languages
  Helsen, Simon
• Programming Languages and Systems – 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
  2020 Springer International Publishing
• Generic and Indexed Programming – International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
  Gibbons, Jeremy 2012 Springer Berlin Heidelberg
• Programming languages and systems – proceedings
  Castagna, Giuseppe 2009 Springer
• Types in compilation – second international workshop ; proceedings
  Leroy, Xavier 2002 Springer
• Types in compilation – third international workshop ; revised selected papers
  Harper, Robert 2001 Springer
• Programming languages and systems – proceedings
  Castagna, Giuseppe 2009 Springer
• Unterstützung für Objektsammlungen in statisch getypten objektorientierten Programmiersprachen
  Menger, Gisela 2000 Shaker
• A universal realizability model of sequential functional computation
  Rohr, Alexander
• Region based programm specialization – an operational approach to polymorphic offline partial evaluation for ML-like languages
  Helsen, Simon
• Überladung in Typsystemen
  Wehr, Martin
• Perspektiven: persistente Objekte mit anwendungsspezifischer Struktur und Funktionalität
  Reddig, Wolfgang 2001 Sekretariat für Forschungsberichte, Inst. für Informatik III
• Polarized higher-order subtyping
  Steffen, Martin
• Concurrent object oriented programming with process types
  Puntigam, Franz 2001 Der Andere Verl.
• Subclass inheritance in spectral and higher-order pattern narrowing
  Liu, Jun