Yufei Cai und Klaus Ostermann - Info zur Person

(1 - 16 von 19

)

Informatik 1, WS Universität Tübingen - uni-tuebingen.de

ps.informatik.uni-tuebingen.de

WebInformatik 1, WS Universität Tübingen. Prof. Dr. Klaus Ostermann. mit Beiträgen von Jonathan Brachthäuser, Yufei Cai, Yi Dai und Tillmann Rendel. Große Teile dieses …

Universität Tübingen - Prof. Dr. Klaus Ostermann

ps.informatik.uni-tuebingen.de

Yufei Cai Theo Doukas Paolo Giarrusso Birgit Grieg Matthias Hirzel Tillmann Rendel Julia Trieflinger Prof. Dr. Klaus Ostermann. Klaus Ostermann Universität Tübingen WSI - Programmiersprachen Sand Tübingen Germany Telephone +49 - (0) Telefax +49 - (0) E-Mail klaus.ostermann(at)uni-tuebingen.de ...

Paolo G. Giarrusso, PhD student

www.informatik.uni-marburg.de

With Yufei Cai, Tillmann Rendel, and Klaus Ostermann. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (New York, NY, USA, 2014), PLDI ’14, ACM Press. To appear. TypeChef: Type checking #ifdef variability (with application to the Linux kernel). This work is described in:

Yufei Cai - yfcai.github.io

yfcai.github.io

Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, and Klaus Ostermann. A theory of changes for higher-order languages—incrementalizing lambda calculus by static differentiation. In Proceedings of the 35th Conference on Programming Language Design and Implementation (PLDI),

[ v1] Denotational validation of higher-order Bayesian...

arxiv.org

Authors:Adam Ścibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, ...

Modular Bayesian inference - Ohad Kammardenotational.co.uk › talks › dagstu...

denotational.co.uk

H. Modular Bayesian inference. Yufei Cai, Zoubin Ghahramani, Chris Heunen, Ohad Kammar,. Sean K. Moss, Klaus Ostermann, Adam Scibior, ...

DFG - GEPRIS - Deep Integration of Domain-Specific Languages

gepris.dfg.de

In Proceedings of Symposium on Principles of Programming Languages (POPL 2016), pages 30–43, Yufei Cai, Paolo G. Giarrusso, and Klaus Ostermann ...

dblp: Hongseok Yang

dblp.org

Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani: Denotational validation of higher-order Bayesian inference. CoRR abs (2017)

WG211/M14Ostermann - WG 2.11

wiki.hh.se

· From WG Jump to: navigation, search. Contributors: Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann. Abstract: TBD.

A theory of changes for higher-order languagesOA.mg

oa.mg

“A theory of changes for higher-order languages” is a paper by Yufei Cai Paolo G. Giarrusso Tillmann Rendel Klaus Ostermann published in It has an ...

Incremental λ-CalculusGitHub

inc-lc.github.io

Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel and Klaus Ostermann. PLDI 2014, pp. 145–155. Scala prototype — inc-lc/ilc-scala · Agda machine-checked proofs ...

#pldi2014 | Emma's Research and Television Blog

blogs.umass.edu

Yufei Cai, Philipps-Universität Marburg; Paolo G. Giarrusso, Philipps-Universität Marburg; Tillmann Rendel, Philipps-Universität Marburg; Klaus Ostermann, Philipps-Universität Marburg. Commutativity Race Detection Dimitar Dimitrov, ETH Zurich; Veselin Raychev, ETH Zurich; Martin Vechev, ETH Zurich; Eric Koskinen, ...

Person "Cai" (1)
Vorname "Yufei" (25)
Name "Cai" (389)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Yufei Cai und Klaus Ostermann Person-Info