Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,350,560 papers from all fields of science
Search
Sign In
Create Free Account
International Conference on Functional Programming
Known as:
WGP
, Conference on Functional Programming Languages and Computer Architecture
, ICFP
Expand
The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
22 relations
ACM Transactions on Programming Languages and Systems
Competitive programming
Compiler
Computer science
Expand
Broader (1)
Functional programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Beta-Carotene Stability in Extruded Snacks Produced Using Interface Engineered Emulsions
G. Caliskan
,
A. Lim
,
Y. Roos
2015
Corpus ID: 53607915
The objectives of the present study were to produce snack-type extrudates and to investigate their ability to encapsulate and…
Expand
2011
2011
Using weighted genetic programming to program squat wall strengths and tune associated formulas
Hsing-Chih Tsai
Engineering applications of artificial…
2011
Corpus ID: 45655790
Review
2011
Review
2011
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
M. Chakravarty
ACM SIGPLAN International Conference on…
2011
Corpus ID: 11713711
Welcome to the 16th ACM SIGPLAN International Conference on Functional Programming -- ICFP'11. The picture, on the front cover…
Expand
2010
2010
Improving FPGA Performance for Carry-Save Arithmetic
H. Parandeh-Afshar
,
A. K. Verma
,
P. Brisk
,
P. Ienne
IEEE Transactions on Very Large Scale Integration…
2010
Corpus ID: 8460464
The selective use of carry-save arithmetic, where appropriate, can accelerate a variety of arithmetic-dominated circuits. Carry…
Expand
2010
2010
Process variation study of Ground Plane SOI MOSFET
Mehdi Saremi
,
B. Ebrahimi
,
A. A. Kusha
,
Mohammad Saremi
Asia Symposium on Quality Electronic Design
2010
Corpus ID: 26911038
In this paper, the variations of the main characteristics in three SOI device structures due to channel length and thin-film…
Expand
Review
2006
Review
2006
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
John H. Reppy
,
J. Lawall
ACM SIGPLAN International Conference on…
2006
Corpus ID: 59629390
This volume contains the papers presented at ICFP 2006, the Eleventh ACM SIGPLAN International Conference on Functional…
Expand
Review
1997
Review
1997
Proceedings of the second ACM SIGPLAN international conference on Functional programming
S. Jones
,
M. Tofte
,
A. Berman
ACM SIGPLAN International Conference on…
1997
Corpus ID: 53821406
This volume contains the papers presented at the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP…
Expand
1996
1996
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language
P. Andersen
,
C. Holst
Sensors Applications Symposium
1996
Corpus ID: 10086122
One of the remaining problems on the path towards fully automatic partial evaluation is ensuring termination of the…
Expand
1991
1991
Modular grammars for programming language prototyping
S. Adams
1991
Corpus ID: 41956821
1990
1990
Generating program animators from programming language semantics
D. Berry
1990
Corpus ID: 38983708
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE