„Typsystem“

Suchergebnisse

1.000+ Treffer

• Werttypen in objektorientierten Programmiersprachen
  Ritterbach, Beate ; Züllighoven, Heinz 2015 Staats- und Universitätsbibliothek Hamburg
• Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis
  Hritcu, Cătălin ; Backes, Michael 2012 Saarländische Universitäts- und Landesbibliothek
• Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis
  Hoffmann, Jan 2012 epubli GmbH
• Types with potential – polynomial resource bounds via automatic amortized analysis
  Hoffmann, Jan ; Hofmann, Martin 2011 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Persistente Typen und Laufzeitstrukturen in einem Betriebssystem mit verteiltem virtuellen Speicher
  Schöttner, Michael Frank Werner 2002 Universität Ulm. Fakultät für Informatik
• JavaGI – a language with generalized interfaces
  Wehr, Stefan
• Typed open programming – a higher-order, typed approach to dynamic modularity and distribution
  Rossberg, Andreas
• Multi-tier programming
  Neubauer, Matthias
• A generator for type checkers
  Gast, Holger
• Parametrischer Polymorphismus, Überladungen und Konversionen
  Kaes, Stefan
• Typed server pages
  Draheim, Dirk
• Region based program specialization – an operational approach to polymorphic offline partial evaluation for ML-like languages
  Helsen, Simon
• Integration von Programmiersprachen durch strukturelle Typanalyse und partielle Auswertung
  Striegnitz, Jörg
• The structure of a type safe operating system
  Golm, Michael
• Types for Proofs and Programs – International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
  2009 Springer Berlin Heidelberg
• Programming Languages and Systems – 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
  2015 Springer International Publishing
• Programming Languages and Systems – 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Shao, Zhong 2014 Springer Berlin Heidelberg
• Programming Languages and Systems – 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
  Vitek, Jan 2012 Springer Berlin Heidelberg
• Types for proofs and programs – international conference, types 2007, Cividale del Friuli, Italy, May 2 - 5, 2007 ; revised selected papers
  Miculan, Marino 2008 Springer
• Types for proofs and programs – international workshop, types 2006, Nottingham, UK, April 18 - 21, 2006 ; revised selected papers
  Altenkirch, Thorsten 2007 Springer