Zsok, Viktoria.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers /
by:
SpringerLink (Online service); Zsok, Viktoria.; Workshop on the Preservation of Stability under Discretization ((2001 :); Plasmeijer, Rinus.; Horvath, Zoltan.
(Language materials, printed)
Trends in functional programming = 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers /
by:
Horvath, Zoltan.; Zsok, Viktoria.; SpringerLink (Online service); Page, Rex.
(Language materials, printed)
Composability, comprehensibility and correctness of working software = 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers /
by:
Zsok, Viktoria.; SpringerLink (Online service); Porkolab, Zoltan.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Functional programming languages
Functional programming (Computer science)
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Compilers and Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer Science Logic and Foundations of Programming.