56 Infos zu Oliver Bracevac

1 Aktuelle Nachrichten

11 Profile in Sozialen Netzwerken

Sehen Sie sich das Profil von Oliver Bracevac auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. Oliver Bracevac hat 5 Jobs im Profil angegeben.

Sehen Sie sich das Profil von Oliver Bracevac auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 4 Jobs sind im Profil von Oliver Bracevac aufgelistet.

Problems worthy of attack prove their worth by hitting back Piet Hein - bracevac

Semantic Scholar profile for Oliver Bracevac, with 4 highly influential citations and 14 scientific research papers.

2 Bücher zum Namen

A new edition of a book, written in a humorous question-and-answer style, that shows how to implement  and use an elegant little programming language for logic...

2 Dokumente

2nd Hessian Workshop on Programming Languages :

18 Wissenschaftliche Publikationen

Bibliographic content of 31. ECOOP 2017

Dr.-Ing. Oliver Bracevac. Software Technology Group. Contact. My passion are all aspects of programming languages: design, theory and engineering.

Bibliographic content of Archive of Formal Proofs, Volume 2018

List of computer science publications by Oliver Bracevac

1 Meinungen & Artikel

Oliver Bracevac (TU Darmstadt, DE) [dblp] Jonathan Immanuel Brachthäuser (Universität Tübingen, DE) [dblp] Edwin Brady (University of St Andrews, GB) [dblp] Stephen Dolan (University of Cambridge, GB) [dblp] Jeremy Gibbons (University of Oxford, GB) [dblp] …

21 Webfunde aus dem Netz

Oliver Bracevac. TU Darmstadt · Type Systems, Reactive Programming, Functional Programming, Logic, Formal Methods. Bekræftet e-mail på cs.tu-darmstadt.de ...

Publications by 'Oliver Bracevac' · · · · · ·

Oliver Bracevac is a developer Member since July

BibTeX - Entry @InProceedings{kuci_et_al:LIPIcs:2017:7262, author = {Edlira Kuci and Sebastian Erdweg and Oliver Bracevac and Andi Bejleri and Mira Mezini}, title ...

OPUS

Oliver Bracevac, bracevac, Technische Universität Darmstadt, cs.tu-darmstadt.de. John Peter Campora III, petecampora, University of Louisiana at Lafayette ...

Sebastian Erdweg and Oliver Bracevac and Edlira Kuci and Matthias Krebs and Mira Mezini A co-contextual formulation of type rules ...

· CS , Compilers: Principles And Practice, Yuyan Bao Oliver Bracevac Tiark Rompf · Time · CS · Operating Systems · Kihong Park

Oliver Bracevac, University of Darmstadt. Designed Scenario Strategies at WorldFuture His review will be published in the summer of in the Mathematical ...

REScala is the most advanced solution for functional reactive programming on the JVM and the Web.

Oliver Bracevac, Purdue University. Philip Wadler, University of Edinburgh. Ragnar Mogk, Technische Universität Darmstadt. Ruby Tahboub, Purdue University.

Committee Timothy Jones, Victoria University of Wellington (Chair) Oliver Bracevac, TU Damstadt Dmitri Makarov, University of Lugano ...

A day in the office would not be complete without the great conversations with my brilliant colleagues Sven Amann, Andi Bejleri, Oliver Bracevac, Marcel Bruch, ...

A Co-contextual Type Checker for Featherweight Java. Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini. A Co-contextual Type Checker ...

Committee Timothy Jones, Victoria University of Wellington (Chair) Oliver Bracevac, TU Damstadt Dmitri Makarov, University of Lugano ...

Mezini. bracevac -at- st. informatik. tu-darmstadt. de Oliver Bracevac Supervisor: Oliver Bracevac, M. Sc Reengineering of Industrial C Code. Bachelor ...

Amarok crashes which takes down gnome session, usually at end of playlist. Last modified: Comment #2 From Oliver Bracevac :00: