Sonstiges: Control Flow in Functional Languages -- Formally taming lambdas

[breitner10studienarbeit]

Joachim Breitner, Control Flow in Functional Languages -- Formally taming lambdas, November 2010.

Download

BibTeX

@misc{breitner10studienarbeit,
  title = {Control Flow in Functional Languages -- Formally taming lambdas},
  year = {2010},
  month = nov,
  author = {Joachim Breitner},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
  url = {http://www.joachim-breitner.de/various/SA/ShiversStudienarbeit.pdf},
}

Institutsinterne Autoren

Ehemalige Mitarbeiter
Dr. rer. nat. Joachim Breitner

Projekte

Projekt

Quis-Custodiet

Bachelor- und Masterarbeiten

Verifikation von Shivers funktionaler CFA-Analyse