Journal of Functional Programming - PDFSEARCH.IO - Document Search Engine

Journal of Functional Programming
Results: 20

#	Item
1	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Formal languages Models of computation Pushdown automaton Software engineering Language Computability Stack Context-free language Culture Abstract interpretation Context-free grammar Tree stack automaton
2	Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Declarative programming Type theory Data types Functional programming Higher-order functions Object-oriented programming Subtyping Fold Map Function
3	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
4	Appendix for a paper appearing in Journal of Functional Programming 14 (3): 317–363, May 2004, Cambridge University Press. 1 Proof appendix: Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10
5	I NVITED S ECTION : T HE F UTURE OF R 5 Aspects of the Social Organization and Trajectory of the R Project Add to Reading List Source URL: journal.r-project.org Language: English Software Computing Functional languages Free statistical software Literate programming R Bioconductor The R Journal Open-source software development SageMath Package manager Arch Linux
6	Journal of Functional Programming Flexible Dynamic Information Flow Control in the Presence of Exceptions Journal: Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-01-19 16:43:25
7	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-10-30 04:56:40
8	The five articles in this special issue are the extended, journal versions of the papers first presented at the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. PEPM’12 took place in January 20 Add to Reading List Source URL: okmij.org Language: English - Date: 2013-07-16 20:02:01 Type theory Theoretical computer science Functional languages Cross-platform software Functional programming Domain-specific language Type system Scala Partial evaluation Computing Software engineering Programming language theory
9	Steve Zdancewic Stephan A. Zdancewic, Curriculum Vitae November 20, 2014 www.cis.upenn.edu/˜stevez Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-11-20 11:05:15 Computer science Association for Computing Machinery International Conference on Functional Programming Programming language theory Principles of Programming Languages Programming language SIGPLAN Journal of Functional Programming Continuation Functional programming Software engineering Computing
10	74 P ROGRAMMER ’ S N ICHE The State of Naming Conventions in R by Rasmus Bååth Add to Reading List Source URL: journal.r-project.org Language: English - Date: 2012-12-14 10:20:03 Source code Variables Naming conventions Functional languages Cross-platform software Namespace Coding conventions R Identifier Computer programming Software engineering Computing