Other Publications: 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},
}

Authors at the institute

Former Staff Member
Dr. rer. nat. Joachim Breitner

Projects

Project

Quis-Custodiet

Bachelor and Masters theses

Verifiying Shiver's functional CFA analysis