Verfasser Suchresultate :: Subito Katalog

1

On the massively parallel execution of declarative programs

von Chakravarty, Manuel M. T.
Veröffentlicht 1997

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Einführung in die Programmierung mit Haskell

von Chakravarty, Manuel M. T.
Veröffentlicht 2004

Cover
Inhaltstext
Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Multi-paradigm logic programming : proceedings of the JICSLP '96 post conference workshop

Veröffentlicht 1996

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Einführung in die Programmierung mit Haskell

von Chakravarty, Manuel M. T.
Veröffentlicht 2004

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Einführung in die Programmierung mit Haskell

von Chakravarty, Manuel M. T.
Veröffentlicht 2004

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Einführung in die Programmierung mit Haskell

von Chakravarty, Manuel M. T.
Veröffentlicht 2004

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

The implementation of lazy narrowing : the JUMP machine

von Chakravarty, Manuel M. T.
Veröffentlicht 1991

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Multi-paradigm logic programming : proceedings of the JICSLP'96 post-conference workshop ; [Bonn, September 5 - 6, 1996]

Veröffentlicht 1996

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Translation Certification for Smart Contracts

von Krijnen, Jacco O0. G.
Veröffentlicht in FLOPS (16. : 2022 : Online) Functional and logic programming (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Babel Fees via Limited Liabilities

von Chakravarty, Manuel M. T.
Veröffentlicht in ACNS (20. : 2022 : Rom) Applied cryptography and network security (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

4th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming 2009, (DAMP 09) : Savannah, Georgia, USA, 20 January 2009

Veröffentlicht 2010

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

The Extended UTXO Model

von Chakravarty, Manuel M. T.
Veröffentlicht in AsiaUSEC (2020 : Kota Kinabalu) Financial cryptography and data security (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Fast Isomorphic State Channels

von Chakravarty, Manuel M. T.
Veröffentlicht in FC (Veranstaltung : 25. : 2021 : Online) Financial cryptography and data security ; Part 2 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Native Custom Tokens in the Extended UTXO Model

von Chakravarty, Manuel M. T.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

UTXOma: UTXO with Multi-asset Support.

von Chakravarty, Manuel M. T.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: