Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,209,172 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.
2018
2018
Improving Haskell
Martin A. T. Handley
,
G. Hutton
Symposium on Trends in Functional Programming
2018
Corpus ID: 46903861
Lazy evaluation is a key feature of Haskell, but can make it difficult to reason about the efficiency of programs. Improvement…
Expand
2017
2017
Classification of Local Field Potentials using Gaussian Sequence Model
T. Banerjee
,
John S. Choi
,
Bijan Pesaran
,
Demba E. Ba
,
V. Tarokh
Symposium on Software Performance
2017
Corpus ID: 39143256
A problem of classification of local field potentials (LFPs), recorded from the prefrontal cortex of a macaque monkey, is…
Expand
2014
2014
Effects of Waste Glass Powder as Pozzolanic Material in Saw Dust Cement Brick
Omoniyi
,
A. AkinyemiB.
,
O. FowoweA.
2014
Corpus ID: 133598796
This work examines the possibility of using Waste Glass Powder (WGP) as a partial replacement of cement in saw dust composite…
Expand
2014
2014
APPLICATIONS OF FUNCTIONAL DATA ANALYSIS IN SPORT BIOMECHANICS
A. Harrison
2014
Corpus ID: 59152579
This paper reconsiders the challenge of analysing coordination in human movement with particular emphasis on the application of…
Expand
2013
2013
Future trends in production engineering : proceedings of the first conference of the German Academic Society for Production Engineering (WGP), Berlin, Germany, 8th-9th June 2011
G. Schuh
,
R. Neugebauer
,
E. Uhlmann
2013
Corpus ID: 107895451
Session 1: Electric Mobility.- Session 2: Lightweight Construction.- Session 3: Mass Production Ability.- Session 4: Medical…
Expand
2011
2011
The Limits of Marketisation of Primary Education in India
B. Zeitlyn
,
Joanna Härmä
2011
Corpus ID: 40270721
This policy brief describes patterns of access to Low Fee Private (LFP) schools in Uttar Pradesh in India. It explores how the…
Expand
2004
2004
Caching Strategies for More Efficient Generational Garbage Collection
Sowmyanarayanan Krishnakumar
2004
Corpus ID: 63570170
KRISHNAKUMAR, SREE VIDHYA LAKSHMI. Caching Strategies for More Efficient Generational Garbage Collection. (Under the direction of…
Expand
1997
1997
Invariant Definability (Extended Abstract)
J. Makowsky
Kurt Gödel Colloquium
1997
Corpus ID: 5300684
To prove the conjecture for this case we observe that if K 0 is FOL{deenable with equality only, then L = INV K0 (L) by…
Expand
1995
1995
Dynamics of intramolecular carbenic rearrangements
R. Moss
1995
Corpus ID: 98150840
Abstract
Review
1994
Review
1994
A programming logic based on type theory
E. Poll
1994
Corpus ID: 221967522
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences…
Expand