International Conference on Functional Programming - PDFSEARCH.IO - Document Search Engine

International Conference on Functional Programming
Results: 84

#	Item
1	ICFP 2017 International Conference on Functional Programming Add to Reading List Source URL: icfp17.sigplan.org
2	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-11-25 15:39:10 Computer science Software engineering Computing Functional programming International Conference on Functional Programming Programming Language Design and Implementation Symposium on Principles of Programming Languages SIGPLAN ECL programming language Association for Computing Machinery Programming language theory
3	01 Back Home>Recent Press>Pearl Walking Map>Special Events Venues First Thursday>PDBA Members>Contact Us>Site Map Add to Reading List Source URL: icfpconference.org Language: English - Date: 2009-06-10 17:01:40 Pearls Bivalves Gemstones Zoology International Conference on Functional Programming Oyster Jon Bentley Imitation pearl Software engineering Computer science
4	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic
5	Christopher S. Meiklejohn 50 Elite Drive, Warwick, RI, 02889 http://www.christophermeiklejohn.com PROFILE Add to Reading List Source URL: christophermeiklejohn.com Language: English - Date: 2016-08-08 07:05:20 NoSQL Cloud infrastructure Cloud storage Concurrent programming languages Basho Technologies Erlang Riak International Conference on Functional Programming Conflict-free replicated data type Actor model Declarative programming
6	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: cliplab.org Language: English - Date: 2014-07-12 00:42:10 International Conference on Logic Programming Symposium on Principles of Programming Languages ICLP Association for Computing Machinery Logic programming Logic Prolog
7	ANNEXURE D: LIST OF REPUTED PUBLICATIONS IN CSE Acronym SIGCOMM SIGMETRICS CCS Add to Reading List Source URL: www.cse.iitd.ernet.in Language: English - Date: 2016-03-26 00:11:24 Theoretical computer science Association for Computing Machinery ACM SIGACT Computer science International Conference on Functional Programming Computational geometry Computational intelligence Computational learning theory International Symposium on Symbolic and Algebraic Computation Algorithmica Draft:Chittoor V. Ramamoorthy Vasant Honavar
8	ANNEXURE D: LIST OF REPUTED PUBLICATIONS IN CSE Acronym SIGCOMM SIGMETRICS CCS Add to Reading List Source URL: www.cse.iitd.ac.in Language: English - Date: 2016-03-26 00:11:24 Academia Computer science Computing Theoretical computer science Association for Computing Machinery ACM SIGACT International Conference on Functional Programming Computational intelligence Computational geometry Computational learning theory International Symposium on Symbolic and Algebraic Computation Algorithmica
9	E RLANG/OTP Meets Dependent Types Archibald Samuel Elliott University of St Andrews ACM Member Number: [ REDACTED ] Add to Reading List Source URL: lenary.co.uk Language: English - Date: 2016-03-31 14:23:30 Software engineering Computing Computer programming Concurrent programming languages Ericsson Erlang Functional programming Type theory Actor model Concurrent computing Go International Conference on Functional Programming
10	On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound Add to Reading List Source URL: janvitek.org Language: English - Date: 2015-12-20 10:11:42 Computer science Computing Software engineering Association for Computing Machinery Programming Language Design and Implementation International Conference on Functional Programming Symposium on Principles of Programming Languages SIGPLAN Federated Computing Research Conference Programming language theory SPLASH Actor model