Matthias Blume

Jacob Donham

J. Funct. Program., 2013

2012

Preface.

[BibT_eX]

[DOI]

Germán Vidal

Theor. Comput. Sci., 2012

Feature Engineering in User's Music Preference Prediction.

[BibT_eX]

[DOI]

Proceedings of KDD Cup 2011 competition, San Diego, CA, USA, 2011, 2012

2011

An equivalence-preserving CPS translation via multi-language semantics.

[BibT_eX]

[DOI]

Amal Ahmed

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2009

An experimental analysis of self-adjusting computation.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2009

Language support for feature-oriented product line engineering.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

2008

Building a Family of Compilers.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 12th International Conference, 2008

Imperative self-adjusting computation.

[BibT_eX]

[DOI]

Amal Ahmed

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Calling variadic functions from a strongly-typed language.

[BibT_eX]

[DOI]

Mike Rainey

John H. Reppy

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

Typed closure conversion preserves observational equivalence.

[BibT_eX]

[DOI]

Amal Ahmed

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Exception Handlers as Extensible Cases.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

FICO: Web Person Disambiguation Via Weighted Similarity of Entity Contexts.

[BibT_eX]

[DOI]

Paul Kalmar

Proceedings of the 4th International Workshop on Semantic Evaluations, 2007

Principal Type Schemes for Modular Programs.

[BibT_eX]

[DOI]

Derek Dreyer

Proceedings of the Programming Languages and Systems, 2007

2006

Sound and complete models of contracts.

[BibT_eX]

[DOI]

David A. McAllester

J. Funct. Program., 2006

An experimental analysis of self-adjusting computation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Extensible programming with first-class cases.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Contracts as Pairs of Projections.

[BibT_eX]

[DOI]

Robert Bruce Findler

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005

A Library for Self-Adjusting Computation.

[BibT_eX]

[DOI]

Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

New Experiments in Distributional Representations of Synonymy.

[BibT_eX]

[DOI]

Proceedings of the Ninth Conference on Computational Natural Language Learning, 2005

2004

A sound (and complete) model of contracts.

[BibT_eX]

[DOI]

David A. McAllester

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2003

Taming the IXP network processor.

[BibT_eX]

[DOI]

Lal George

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2001

No-Longer-Foreign: Teaching an ML compiler to speak C "natively".

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001

1999

Hierarchical modularity.

[BibT_eX]

[DOI]

Andrew W. Appel

ACM Trans. Program. Lang. Syst., 1999

Dependency analysis for Standard ML.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1999

1997

An Efficient Mapping of Fuzzy ART onto a Neural Architecture.

[BibT_eX]

[DOI]

Sadik C. Esener

Neural Networks, 1997

Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations.

[BibT_eX]

[DOI]