Georg Neis und Derek Dreyer - Info zur Person

(1 - 15 von 16

)

Séminaire,

chocola.ens-lyon.fr

Thus we implemented a new tactic "pcofix" replacing Coq's primitive tactic "cofix" and avoiding its syntactic guardedness checking of proof terms. You can find the Coq library 'Paco' that provides the tactic 'pcofix' at. http://plv.mpi-sws.org/paco. This is joint work with Georg Neis, Derek Dreyer and Viktor ...

Derek Dreyer → Research

people.mpi-sws.org

Derek Dreyer → Research Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis. In ACM SIGPLAN International ...

Viktor Vafeiadis - Publications

people.mpi-sws.org

Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis. Technical report MPI-SWS (January 2014) [Project page with Coq scripts] The transitive composability of relation transition systems. Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis.

From Lionel.Seinturier at univ-lille1.fr Sun Nov 1 18:56:

web.satd.uma.es

, Vit?ria, ES, Brazil http://edocconference.org LinkedIn: http://events.linkedin.com/14th-IEEE-International-EDOC-Conference/pub Twitter: Andrew W. Appel (Princeton University) - A Relational Modal Logic for Higher-Order Stateful ADTs Derek Dreyer (MPI-SWS), Georg Neis (MPI-SWS), ...

dblp: Derek Dreyer

dblp.uni-trier.de

List of computer science publications by Derek Dreyer

Search results for "Georg Neis" – FacetedDBLP

dblp.l3s.uni-hannover.de

Hits ?△, Authors, Title, Venue, Year, Link, Author keywords. 1, Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis · Pilsner: a compositionally verified compiler for a higher-order imperative language. Search on Bibsonomy · ICFP The full citation details , DBLP DOI BibTeX ...

cpl - star

wiki.mpi-sws.org

Concurrent Program Logics. Instructors: Viktor Vafeiadis and Derek Dreyer. Teaching assistant: Georg Neis. Meeting time: 2 hours, once a week, April - July 2011

Schloss Dagstuhl : Seminar Homepage

www.dagstuhl.de

Derek Dreyer, Georg Neis, and Lars Birkedal. The impact of higher-order state and control effects on local relational reasoning. Journal of Functional Programming, 22(4&5):477–528, August

POPL 2013: 40th ACM SIGACT-SIGPLAN Symposium on Principles of...

popl.mpi-sws.org

Chung-Kil Hur (Microsoft Research), Georg Neis (MPI-SWS and Saarland University), and Derek Dreyer and Viktor Vafeiadis (MPI-SWS) The Sequential Semantics of Producer Effect Systems. Ross Tate (Cornell University)

Paco: A Coq Library for Parameterized Coinduction

plv.mpi-sws.org

Paco: A Coq Library for Parameterized Coinduction Chung-Kil Hur, Georg Neis, Derek Dreyer and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Paco is a Coq library implementing parameterized coinduction.

Pilsner: A Compositionally Verified Compiler for a Higher-Order...

plv.mpi-sws.org

Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language. Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis. In ACM SIGPLAN International Conference on Functional Programming ( ICFP ).

ICFP : The 15th ACM SIGPLAN International Conference on...

www.icfpconference.org

:55 The Impact of Higher-Order State and Control Effects on Local Relational Reasoning: Derek Dreyer (MPI-SWS); Georg Neis (MPI-SWS); Lars Birkedal ...

Mathematically Structured Programming Group @ University of...

msp.cis.strath.ac.uk

As an important consequence, parameterized coinduction can easily support complex nested induction-coinduction. We also implemented the parameterized coinduction as the Coq library called "paco", which can be found at: http://plv.mpi-sws.org/paco. This is joint work with Georg Neis, Derek Dreyer and Viktor Vafeiadis, ...

Non-Parametric Parametricity – Google Research

research.google

@article{43983, title = {Non-Parametric Parametricity}, author = {Georg Neis and Derek Dreyer and Andreas Rossberg}, year = {2011}, URL = {http://journals.cambridge.org/action/displayIssue?decade=2010&jid=JFP&volumeId=21&issueId=4-5&iid= }, journal = {Journal of Funcitonal Programming}, volume = {21 (4 ...

The impact of higher-order state and control effects on local...

pure.itu.dk

author = "Derek Dreyer and Georg Neis and Lars Birkedal",. year = "2012",. volume = "22",. journal = "Journal of Functional Programming",. issn = " ",.

Alle Infos zum Namen "Georg Neis"

Verwandte Suchanfragen zu Georg Neis

Arnim Staschke
Lars Birkedal
Derek Dreyer

Karl-Heinz Overhageboeck
Markus Poguntke
Niko Paltzer

Andi Scharfstein
Angelika Meier
Marc Overhageböck

Person "Neis" (2)
Vorname "Georg" (36045)
Name "Neis" (397)

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

Georg Neis und Derek Dreyer Person-Info