1![ReactiveML, a Reactive Extension to ML∗ extended version Louis Mandel and Marc Pouzet Universite´ Pierre et Marie Curie LIP6 † ReactiveML, a Reactive Extension to ML∗ extended version Louis Mandel and Marc Pouzet Universite´ Pierre et Marie Curie LIP6 †](https://www.pdfsearch.io/img/0af935e2a79dd0bc4bd5d93d9b4e0a8b.jpg) | Add to Reading ListSource URL: www.lri.frLanguage: English - Date: 2007-09-04 09:23:43
|
---|
2![A Flexible and Efficient ML Lexer Tool based on Extended Regular Expression Submatching Martin Sulzmann? and Pippijn van Steenhoven?? Hochschule Karlsruhe - Technik und Wirtschaft Abstract. Lexical analysis has many app A Flexible and Efficient ML Lexer Tool based on Extended Regular Expression Submatching Martin Sulzmann? and Pippijn van Steenhoven?? Hochschule Karlsruhe - Technik und Wirtschaft Abstract. Lexical analysis has many app](https://www.pdfsearch.io/img/1d082c8105c7151ba279b0b488e1aadb.jpg) | Add to Reading ListSource URL: www.home.hs-karlsruhe.de- Date: 2014-02-13 06:21:51
|
---|
3![Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley](https://www.pdfsearch.io/img/7b4753461cfc57d3e00c8f0f8493b383.jpg) | Add to Reading ListSource URL: kcsrk.infoLanguage: English - Date: 2016-08-01 08:25:07
|
---|
4![From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris](https://www.pdfsearch.io/img/2d3de59c2d5b04a679f33319df6ca466.jpg) | Add to Reading ListSource URL: prosecco.gforge.inria.frLanguage: English - Date: 2016-07-04 02:54:41
|
---|
5![Multi-Module Fully Abstract Compilation (Extended Abstract) Marco Patrignani, Dominique Devriese, Frank Piessens iMinds-DistriNet, KU Leuven, Belgium High-level languages like Java or ML support abstraction and data enca Multi-Module Fully Abstract Compilation (Extended Abstract) Marco Patrignani, Dominique Devriese, Frank Piessens iMinds-DistriNet, KU Leuven, Belgium High-level languages like Java or ML support abstraction and data enca](https://www.pdfsearch.io/img/99256750a6554d157a656e42c14618fb.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2015-07-09 06:40:16
|
---|
6![Science / Molecular biology / Polymerase chain reaction / Cell biology / Antioxidants / Glutathione / Immunoprecipitation / Gentamicin protection assay / Assay / Chemistry / Biology / Laboratory techniques Science / Molecular biology / Polymerase chain reaction / Cell biology / Antioxidants / Glutathione / Immunoprecipitation / Gentamicin protection assay / Assay / Chemistry / Biology / Laboratory techniques](/pdf-icon.png) | Add to Reading ListSource URL: www.cancerandmetabolism.comLanguage: English |
---|
7![Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and](https://www.pdfsearch.io/img/95095799bb810126fe6494e83381f6be.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2000-06-29 07:17:41
|
---|
8![Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells](https://www.pdfsearch.io/img/780235b49712c273605637d96e0b7ada.jpg) | Add to Reading ListSource URL: gallium.inria.frLanguage: English - Date: 2009-12-15 04:49:16
|
---|
9![Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells](https://www.pdfsearch.io/img/22064816e28da09610b9f72a17231f1c.jpg) | Add to Reading ListSource URL: pauillac.inria.frLanguage: English - Date: 2009-12-15 04:49:16
|
---|
10![CM The SML/NJ Compilation and Library Manager (for SML/NJ version[removed]and later) User Manual Matthias Blume CM The SML/NJ Compilation and Library Manager (for SML/NJ version[removed]and later) User Manual Matthias Blume](https://www.pdfsearch.io/img/0e2d7096fbf3448d75bb992d4f3f0083.jpg) | Add to Reading ListSource URL: www.smlnj.orgLanguage: English - Date: 2006-11-07 10:53:07
|
---|