Article

Projections for strictness analysis

Authors:

Philip Wadler,

R. J. M. HughesAuthors Info & Claims

Proc. of a conference on Functional programming languages and computer architecture

Pages 385 - 407

Published: 01 October 1987 Publication History

Abstract

No abstract available.

Cited By

View all

Hackett JHutton G(2019)Call-by-need is clairvoyant call-by-valueProceedings of the ACM on Programming Languages10.1145/33417183:ICFP(1-23)Online publication date: 26-Jul-2019
https://dl.acm.org/doi/10.1145/3341718
Jost SVasconcelos PFlorido MHammond K(2017)Type-Based Cost Analysis for Lazy Functional LanguagesJournal of Automated Reasoning10.1007/s10817-016-9398-959:1(87-120)Online publication date: 1-Jun-2017
https://dl.acm.org/doi/10.1007/s10817-016-9398-9
Stadler LWelc AHumer CJordan M(2016)Optimizing R language execution via aggressive speculationACM SIGPLAN Notices10.1145/3093334.298923652:2(84-95)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1145/3093334.2989236
Show More Cited By

Index Terms

Projections for strictness analysis
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
      2. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs

Recommendations

Enhanced Locality Preserving Projections
CSSE '08: Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 01

In pattern recognition, feature extraction techniques are widely employed to reduce the dimensionality of data. In this paper, a new manifold learning algorithm, called Enhanced Locality Preserving Projections, to identify the underlying manifold ...
On strictness and its analysis
POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

We study the strictness problem for the untyped lambda-calculus and for an ML-like typed calculus. We establish that strictness is a necessary and sufficient condition for the “eager” evaluation of function arguments. For the untyped calculus, we show ...
Locality Preserving Projections
NIPS'03: Proceedings of the 16th International Conference on Neural Information Processing Systems

Many problems in information processing involve some form of dimensionality reduction. In this paper, we introduce Locality Preserving Projections (LPP). These are linear projective maps that arise by solving a variational problem that optimally ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proc. of a conference on Functional programming languages and computer architecture

October 1987

470 pages

ISBN:0387183175

Editor:
Gilles Kahn
INRIA, Valbonne Cedex, France

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 October 1987

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

44
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hackett JHutton G(2019)Call-by-need is clairvoyant call-by-valueProceedings of the ACM on Programming Languages10.1145/33417183:ICFP(1-23)Online publication date: 26-Jul-2019
https://dl.acm.org/doi/10.1145/3341718
Jost SVasconcelos PFlorido MHammond K(2017)Type-Based Cost Analysis for Lazy Functional LanguagesJournal of Automated Reasoning10.1007/s10817-016-9398-959:1(87-120)Online publication date: 1-Jun-2017
https://dl.acm.org/doi/10.1007/s10817-016-9398-9
Stadler LWelc AHumer CJordan M(2016)Optimizing R language execution via aggressive speculationACM SIGPLAN Notices10.1145/3093334.298923652:2(84-95)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1145/3093334.2989236
Stadler LWelc AHumer CJordan MIerusalimschy R(2016)Optimizing R language execution via aggressive speculationProceedings of the 12th Symposium on Dynamic Languages10.1145/2989225.2989236(84-95)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1145/2989225.2989236
Trilla JRunciman C(2015)Improving implicit parallelismACM SIGPLAN Notices10.1145/2887747.280430850:12(153-164)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2887747.2804308
Trilla JRunciman CLippmeier B(2015)Improving implicit parallelismProceedings of the 2015 ACM SIGPLAN Symposium on Haskell10.1145/2804302.2804308(153-164)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2804302.2804308
Sergey IVytiniotis DPeyton Jones S(2014)Modular, higher-order cardinality analysis in theory and practiceACM SIGPLAN Notices10.1145/2578855.253586149:1(335-347)Online publication date: 8-Jan-2014
https://dl.acm.org/doi/10.1145/2578855.2535861
Sergey IVytiniotis DPeyton Jones SJagannathan SSewell P(2014)Modular, higher-order cardinality analysis in theory and practiceProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2535838.2535861(335-347)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2535838.2535861
Simões HVasconcelos PFlorido MJost SHammond K(2012)Automatic amortised analysis of dynamic memory allocation for lazy functional programsACM SIGPLAN Notices10.1145/2398856.236457547:9(165-176)Online publication date: 9-Sep-2012
https://dl.acm.org/doi/10.1145/2398856.2364575
Simões HVasconcelos PFlorido MJost SHammond KThiemann PFindler R(2012)Automatic amortised analysis of dynamic memory allocation for lazy functional programsProceedings of the 17th ACM SIGPLAN international conference on Functional programming10.1145/2364527.2364575(165-176)Online publication date: 9-Sep-2012
https://dl.acm.org/doi/10.1145/2364527.2364575
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Enhanced Locality Preserving Projections

On strictness and its analysis

Locality Preserving Projections

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations