Extended ML - PDFSEARCH.IO - Document Search Engine

Extended ML
Results: 16

#	Item
1	ReactiveML, a Reactive Extension to ML∗ extended version Louis Mandel and Marc Pouzet Universite´ Pierre et Marie Curie LIP6 † Add to Reading List Source URL: www.lri.fr Language: 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 Add to Reading List Source 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 Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Software engineering Computer programming Computing Functional languages Control flow Software design patterns OCaml Monad Exception handling Type system Caml ML
4	From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-07-04 02:54:41 Theoretical computer science Formal methods Computability theory Functional languages Logic in computer science Satisfiability modulo theories Factorial ML Recursion Lambda calculus System F
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 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-07-09 06:40:16
6	Extended Methods Amino acid analysis from culture media Cells in a volume of 100 ml were plated in six replicates in 96-well tissue culture plates to reach ~80% confluence the next day. The next day, the spent media wa Add to Reading List Source URL: www.cancerandmetabolism.com Language: English Science Molecular biology Polymerase chain reaction Cell biology Antioxidants Glutathione Immunoprecipitation Gentamicin protection assay Assay Chemistry Biology Laboratory techniques
7	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
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 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
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 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
10	CM The SML/NJ Compilation and Library Manager (for SML/NJ version[removed]and later) User Manual Matthias Blume Add to Reading List Source URL: www.smlnj.org Language: English - Date: 2006-11-07 10:53:07 Procedural programming languages Functional languages Standard ML Type safety Library Make ML Extended Backus–Naur Form Modular programming Computing Software engineering Computer programming