Hochschulschrift
Typed open programming : a higher-order, typed approach to dynamic modularity and distribution
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 2007
- Schlagwort
-
Programmierung ; Programmiersprache ; Typsystem ; Modularität ; Verteilung
- Urheber
- URN
-
urn:nbn:de:bsz:291-scidok-12627
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Dependently typed programming : 04381 abstracts collection
Automated theorem proving for dependent typed theories via a translation to higher-order logic
A transformational approach to generic software development based on higher-order, typed functional signatures
Strongly typed and efficient functional reactive programming
On a typed higher order functional calculus
Higher-order constraint logic programming
Interactive typed tactic programming in the Coq proof assistant
Getting Started with Statically Typed Programming in Python 3.10
Typed server pages
Typed Kleene Algebras
Typed server pages
Typed feature structure grammars
Dependently typed programming : 04381 abstracts collection
Automated theorem proving for dependent typed theories via a translation to higher-order logic
A transformational approach to generic software development based on higher-order, typed functional signatures
Strongly typed and efficient functional reactive programming
On a typed higher order functional calculus
Higher-order constraint logic programming
Interactive typed tactic programming in the Coq proof assistant
Getting Started with Statically Typed Programming in Python 3.10
Typed server pages
Typed Kleene Algebras
Typed server pages
Typed feature structure grammars
Dependently typed programming : 04381 abstracts collection
Automated theorem proving for dependent typed theories via a translation to higher-order logic
A transformational approach to generic software development based on higher-order, typed functional signatures
Strongly typed and efficient functional reactive programming
On a typed higher order functional calculus
Higher-order constraint logic programming
Interactive typed tactic programming in the Coq proof assistant
Getting Started with Statically Typed Programming in Python 3.10
Typed server pages
Typed Kleene Algebras
Typed server pages