.:. Browse > Articles list .:.

647 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Danos V., Feret J., Fontana W., Harmer R., Hayman J., Krivine J., Thompson-Walsh C., Winskel G. FSTTCS - 32nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science - 2012, Inde (2012) [hal-00734487 - version 1]

Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif Kerneis G. Université Paris-Diderot - Paris VII (09/11/2012), Juliusz Chroboczek (Dir.) [tel-00751444 - version 1]

Delimited control operators prove Double-negation Shift Ilik D. Annals of Pure and Applied Logic 163, 11 (2012) 1549-1559 [hal-00647389 - version 1]

Realizability algebras III : some examples Krivine J.-L. [hal-00743120 - version 1] (19/10/2012)

Generating events with style Boutier M., Kerneis G. [hal-00742098 - version 2] (17/10/2012)

Models of Tet-On System with Epigenetic Effects Harmer R., Krivine J., Laruelle E., Lhoussaine C., Madelaine G., Nebut M. Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Royaume-Uni (2012) [hal-00725553 - version 1]

Certifying and reasoning on cost annotations in C programs Ayache N., Amadio R., Régis-Gianas Y. FMICS 2012 - 17th International Workshop on Formal Methods for Industrial Critical Systems, France (2012) [hal-00702665 - version 2]

Monads with arities and their associated theories Berger C., melliès P.-A., Weber M. Journal of Pure and Applied Algebra 216, 8-9 (2012) 2029-2048 [hal-00702041 - version 1]

Game semantics in string diagrams Melliès P.-A. in Proceedings of the Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012) - Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012), Croatia (2012) [hal-00721662 - version 1]

Extending Type Theory with Forcing Jaber G., Tabareau N., Sozeau M. In Proceedings of LICS'12 - LICS 2012 : Logic In Computer Science, Croatia (2012) [hal-00685150 - version 1]

A "minimal disruption" skeleton experiment: seamless map & reduce embedding in OCaml Danelutto M., Di Cosmo R. Dans Proceedings of the 12th International Conference on Computational Science - International Conference on Computational Science, États-Unis (2012) [hal-00692515 - version 1]

Why Do Software Packages Conflict? Artho C., Di Cosmo R., Suzaki K., Treinen R., Zacchiroli S. 9th Working Conference on Mining Software Repositories, Suisse (2012) [hal-00694022 - version 1]

Böhm theorem and Böhm trees for the Lambda-mu-calculus Saurin A. Theoretical Computer Science 435 (2012) 106-138 [hal-00695534 - version 1]

Learning from the Future of Component Repositories Abate P., Di Cosmo R., Treinen R., Zacchiroli S. 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012), Italie (2012) [hal-00686923 - version 1]

A gentle introduction to type classes and relations in Coq Castéran P., Sozeau M. This document presents the main features of type classes and user-defined relations in the Coq proof assistant. Available at http://www.labri.fr/perso/casteran/CoqArt/TypeClassesTut/typeclassestut.pdf (2012) [hal-00702455 - version 1]