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

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

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

FICS 2010 Miller D., Carayol A., Rondogiannis P., Birkedal L., Czarnecki M., Grall H., Levy P., Mio M., Nakata K., Romashchenko A. et al Dans Fixed Points in Computer Science 2010 - 7th Workshop on Fixed Points in Computer Science, FICS 2010, Tchèque, République (2010) [hal-00512377 - version 1]

Equality is typable in Semi-Full Pure Type Systems Siles V., Herbelin H. In Logic In Computer Science - Logic In Computer Science - LICS 2010, United Kingdom (2010) [inria-00496988 - version 1]

The FunLoft Language Boussinot F. [inria-00497705 - version 1] (05/07/2010)

Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers Pop A., Cohen A. Proceedings of the 15th Workshop on Compilers for Parallel Computers (CPC'10), Autriche (2010) [inria-00551518 - version 1]

A Higher-Order Extension for Imperative Synchronous Languages Vecchié E., Talpin J.-P., Boisgérault S. In SCOPES 2010 Proceedings - SCOPES 2010, France (2010) [hal-00533953 - version 1]

Erbium: A Deterministic, Concurrent Intermediate Representation for Portable and Scalable Performance Miranda C., Dumont P., Cohen A., Duranton M., Pop A. ACM International Conference on Computing Frontiers (CF'10), Italy (2010) [inria-00551520 - version 1]

Modelling molecular networks: relationships between different formalisms and levels of details Soliman S., Chaouiya C., Batt G., Fages F., Remy E., Pommereau F., Calzone L. Research report (2010) [inria-00461084 - version 1]

Conversion by Evaluation Boespflug M. Twelfth International Symposium on Practical Aspects of Declarative Languages, Spain (2010) [inria-00434282 - version 1]

A Stream-Comptuting Extension to OpenMP Pop A., Cohen A. International Workshop on OpenMP (IWOMP'10), Japon (2010) [inria-00551519 - version 1]

Extending Coq with Imperative Features and its Application to SAT Verification Armand M., Grégoire B., Spiwack A., Théry L. Interactive Theorem Proving, United Kingdom (2010) [inria-00502496 - version 2]