<--- Back to Details
First PageDocument Content
Computer science / Functional programming / International Conference on Functional Programming / Computing / ICFP Programming Contest / Programming Language Design and Implementation / Symposium on Principles of Programming Languages
Date: 2015-11-28 23:17:14
Computer science
Functional programming
International Conference on Functional Programming
Computing
ICFP Programming Contest
Programming Language Design and Implementation
Symposium on Principles of Programming Languages

The Functioning of ICFP Version 2015  On behalf of the ICFP Steering Committee  Inspired by the Principles of POPL and the Practices of PLDI   

Add to Reading List

Source URL: www.icfpconference.org

Download Document from Source Website

File Size: 249,03 KB

Share Document on Facebook

Similar Documents

Cloud infrastructure / IBM cloud computing / Computing / Cloud computing

InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

DocID: 1xW13 - View Document

Erste Diskussionsrunde Treiber und betroffene Gebiete • Cloud Computing ist ein neuer Versuch, eine alte Idee zu reanimieren. Es handelt sich im Grund um eine blosse Marketing & Sales-Kampagne der Anbieter von Infrastr

DocID: 1xW0r - View Document

Probability and statistics / Statistics / Statistical randomness / Stochastic computing / Applied mathematics / Stochastic optimization / Artificial neural network / Mathematical optimization / Stochastic process

Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

DocID: 1xVZF - View Document

Economy / Finance / Money / Investment management / Money managers / Institutional investors / Robotics / Robot / Asset allocation / Chartered Financial Analyst / Artificial intelligence

Robotics - the next revolution in technology? From the early industrial revolution of the 18th century, powered by water and steam, to the combustion engine for cars in the 19th century and then to computing in the 20th

DocID: 1xVUw - View Document

Mathematics / Computer arithmetic / Numerical analysis / Applied mathematics / Arithmetic / Interval arithmetic / Computer-assisted proof / Computational science / Scan

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

DocID: 1xVSx - View Document