.:. Browse > List by subject > Programming Languages .:.

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

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

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]

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

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]

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]

Normalisation for Dynamic Pattern Calculi Bonelli E., Kesner D., Lombardi C., Ríos A. Dans Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA) - International Conference on Rewriting Techniques and Applications (RTA), Japon (2012) [hal-00686794 - version 1]

On the discriminating power of tests in resource lambda-calculus Breuvart F. [hal-00698609 - version 2] (2012-05-22)

Pure Type System conversion is always typable Siles V., Herbelin H. Journal of Functional Programming 22, 2 (2012) 153 - 180 [inria-00497177 - version 2]

How to Run your Favorite Language in Web Browsers Canou B., Chailloux E., Vouillon J. Dans WWW2012 dev track proceedings - WWW2012, France (2012) [hal-00694031 - version 1]

Client-server Web applications with Ocsigen Balat V., Chambart P., Henry G. in WWW2012 dev track proceedings - WWW2012, France (2012) [hal-00691710 - version 1]

The permutative lambda-calculus Accattoli B., Kesner D. In Proceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR) - International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), Venezuela, Bolivarian Republic Of (2012) [hal-00686795 - version 1]

Lambda-lifting and CPS conversion in an imperative language Kerneis G., Chroboczek J. Research report [hal-00669849 - version 1]

Coq avec Classes Sozeau M. JFLA - Journées Françaises des Langages Applicatifs, France (2012) [hal-00699595 - version 1]

Safe Incremental Type Checking Puech M., Régis-Gianas Y. TLDI 2012 - Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, United States (2012) [hal-00650341 - version 1]

Partiality and Recursion in Interactive Theorem Provers - An Overview Bove A., Krauss A., Sozeau M. Mathematical Structures in Computer Science (2012) [hal-00691459 - version 1]

Indexed realizability for bounded-time programming with references and type fixpoints Brunel A., Madet A. Dans APLAS - 10th Asian Symposium on Programming Languages and Systems, Japon (2012) [hal-00735584 - version 1]