Verfasser Suchresultate :: Subito Katalog

1

Views: a way for pattern matching to cohabit with data abstraction

von Wadler, Philip
Veröffentlicht 1987

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Component-based programming under different paradigms : 21.02.1999 - 26.02.1999

Veröffentlicht 1999

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Lazy functional programming

Veröffentlicht 1989

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

GATE: Gradual Effect Types

von Wadler, Philip
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Einführung in die funktionale Programmierung

von Bird, Richard
Veröffentlicht 1992

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Introduction to functional programming

von Bird, Richard
Veröffentlicht 1988

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Introduction to functional programming

von Bird, Richard
Veröffentlicht 1988

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Java Generics and Collections : [speed up the Java development process]

von Naftalin, Maurice
Veröffentlicht 2007

Table of contents only
Publisher description

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Einführung in die funktionale Programmierung

von Bird, Richard
Veröffentlicht 1992

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Einführung in die funktionale Programmierung

von Bird, Richard
Veröffentlicht 1992

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

<<The>> implementation of functional programming languages

von Peyton Jones, Simon L.
Veröffentlicht 1987

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Projections for strictness analysis

von Wadler, Philip
Veröffentlicht 1987

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

A second look at overloading

von Odersky, Martin
Veröffentlicht 1995

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 ; proceedings

Veröffentlicht 2006

Inhaltstext
Cover
Inhaltstext
Table of contents only
Publisher description

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13 - 14, 2003 ; proceedings

Veröffentlicht 2003

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Practical aspects of declarative languages : 5th international symposium, New Orleans, LA, USA, January 13-14, 2003 : proceedings

Veröffentlicht 2002

Inhaltsverzeichnis
Kapitel 1
Cover
Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

A list of successes that can change the world : essays dedicated to Philip Wadler on the occassion of his 60th birthday

Veröffentlicht 2016

Inhaltsverzeichnis
Cover
Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2019)

Veröffentlicht 2020-2021

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

A reflection on call-by-value

von Sabry, Amr
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

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: