ICAL  |  show  |  edit  |  edit as text  |  add to group

History of: FP-Graz - Functional Programming Meetup

Current version (2018-02-28T21:04:01.289948)

    acronym: FP-Graz
title: Functional Programming Meetup
startdate: 2018-03-08
starttime: 19:00
endtime: 22:00
timezone: Europe/Vienna
city: Graz
country: AT
address: realraum
tags: functional-programming meetup
urls:
    liquidhaskell https://ucsd-progsys.github.io/liquidhaskell-blog/
    meetup http://meetup.com/Functional-Programming-Graz/
description:
Präsentation zu LiquidHaskell,

damit können logische Prädikate über Daten als Typen codiert werden.

Zum Beispiel: der Input einer Funktion muss eine sortierte Liste sein.

Kein Haskell Vorwissen erforderlich.

2018-02-28T21:03:22.516510

f1acronym: FP-Grazf1acronym: FP-Graz
2title: Functional Programming Meetup2title: Functional Programming Meetup
3startdate: 2018-03-083startdate: 2018-03-08
4starttime: 19:004starttime: 19:00
5endtime: 22:005endtime: 22:00
6timezone: Europe/Vienna6timezone: Europe/Vienna
7city: Graz7city: Graz
8country: AT8country: AT
9address: realraum9address: realraum
10tags: functional-programming meetup10tags: functional-programming meetup
11urls:11urls:
12 liquidhaskell https://ucsd-progsys.github.io/liquidhaskell-blog/12 liquidhaskell https://ucsd-progsys.github.io/liquidhaskell-blog/
13 meetup http://meetup.com/Functional-Programming-Graz/13 meetup http://meetup.com/Functional-Programming-Graz/
14description:14description:
15Präsentation zu LiquidHaskell,15Präsentation zu LiquidHaskell,
1616
17damit können logische Prädikate über Daten als Typen codiert werden.17damit können logische Prädikate über Daten als Typen codiert werden.
tt18
18(zum Beispiel: Der Input muss eine sortierte Liste sein)19Zum Beispiel: der Input einer Funktion muss eine sortierte Liste sein.
20
19Kein Haskell Vorwissen erforderlich.21Kein Haskell Vorwissen erforderlich.

2018-02-28T21:03:01.911828

f1acronym: FP-Grazf1acronym: FP-Graz
2title: Functional Programming Meetup2title: Functional Programming Meetup
3startdate: 2018-03-083startdate: 2018-03-08
4starttime: 19:004starttime: 19:00
5endtime: 22:005endtime: 22:00
6timezone: Europe/Vienna6timezone: Europe/Vienna
7city: Graz7city: Graz
8country: AT8country: AT
9address: realraum9address: realraum
10tags: functional-programming meetup10tags: functional-programming meetup
11urls:11urls:
12 liquidhaskell https://ucsd-progsys.github.io/liquidhaskell-blog/12 liquidhaskell https://ucsd-progsys.github.io/liquidhaskell-blog/
13 meetup http://meetup.com/Functional-Programming-Graz/13 meetup http://meetup.com/Functional-Programming-Graz/
14description:14description:
15Präsentation zu LiquidHaskell,15Präsentation zu LiquidHaskell,
tt16
16damit können logische Prädikate über Daten als Typen codiert werden.17damit können logische Prädikate über Daten als Typen codiert werden.
17(zum Beispiel: Der Input muss eine sortierte Liste sein)18(zum Beispiel: Der Input muss eine sortierte Liste sein)
18Kein Haskell Vorwissen erforderlich.19Kein Haskell Vorwissen erforderlich.