Let expression - PDFSEARCH.IO - Document Search Engine

Let expression
Results: 37

#	Item
1	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system
2	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
3	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
4	Tool Supported OCL Refactoring Catalogue Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062, Dresden, Germany Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-30 10:16:27 Software engineering Computing ISO standards Software Unified Modeling Language Object Constraint Language ECO Code refactoring Lambda calculus OCL Null Let expression
5	Hammell et alFigure 3 Add to Reading List Source URL: blackwellweb.joslin.harvard.edu Language: English - Date: 2009-05-08 16:15:26 Genetics Biology MicroRNA RNA Gene expression Molecular genetics Lsy-6 microRNA Mir-48 Let-7 microRNA precursor RNA interference Post-transcriptional regulation Non-coding RNA
6	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function Monad Closure Partial application
7	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function Free variables and bound variables Combinatory logic Standard ML
8	Type Specialisation for the -calculus John Hughes Department of Computer Science, Chalmers Technical University, SGoteborg, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Type theory Procedural programming languages Data types Type systems Lambda calculus Eval Type inference ALGOL 68 Let expression Standard ML
9	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: ndmitchell.com Language: English Software engineering Declarative programming Lambda calculus Computer programming Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function
10	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Declarative programming Computer programming Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function