The Under-Appreciated Unfold (English)
- New search for: Gibbons, J.
- New search for: Jones, G.
- New search for: ACM; Special Interest Group on Programming Languages (SIGPLAN)
- New search for: Gibbons, J.
- New search for: Jones, G.
- New search for: ACM; Special Interest Group on Programming Languages (SIGPLAN)
In:
Functional programming
1
;
273-279
;
1999
-
ISBN:
- Conference paper / Print
-
Title:The Under-Appreciated Unfold
-
Contributors:Gibbons, J. ( author ) / Jones, G. ( author ) / ACM; Special Interest Group on Programming Languages (SIGPLAN)
-
Conference:International conference; 3rd, Functional programming ; 1998 ; Baltimore; MD
-
Published in:Functional programming , 1 ; 273-279ACM SIGPLAN NOTICES ; 34, 1 ; 273-279
-
Publisher:
- New search for: ACM
-
Publication date:1999-01-01
-
Size:7 pages
-
Remarks:Also known as ICFP'98
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
On the Runtime Complexity of Type-Directed UnboxingMinamide, Y. / Garrigue, J. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 13
-
Building Program Optimizers with Rewriting StrategiesVisser, E. / Benaissa, Z.-E.-E. / Tolmach, A. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 27
-
Higher-Order Arity RaisingHannan, J. / Hicks, P. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 39
-
A Type Based Sharing Analysis for Update Avoidance and OptimisationGustavsson, J. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 51
-
Taming Effects with Monadic TypingKieburtz, R. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 63
-
The marriage of effects and monadsWadler, P. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 75
-
A Theory of Core FudgetsTaylor, C. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 86
-
PLAN: A Programming Language for Active NetworksHicks, M. / Kakkar, P. / Moore, J. T. / Gunter, C. A. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 94
-
Modular Object-Oriented Programming with Units and MixinsFindler, R. B. / Flatt, M. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 105
-
Programming with Variable FunctionsOdersky, M. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 117
-
YALE: Yet Another Lambda Evaluator Based on Interaction NetsMackie, I. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 129
-
Compiling Standard ML to Java BytecodesBenton, N. / Kennedy, A. / Russell, G. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 141
-
Typed Cross-Module CompilationShao, Z. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 153
-
H/Direct: A Binary Foreign Language Interface for HaskellFinne, S. / Leijen, D. / Meijer, E. / Jones, S. P. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 163
-
The Spineless Tagless G-machine, naturallyMountjoy, J. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 174
-
Lava: Hardware Design in HaskellBjesse, P. / Claessen, K. / Sheeran, M. / Singh, S. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 185
-
Lazy Computation with Exact Real NumbersEdalat, A. / Potts, P. J. / Suenderhauf, P. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 195
-
Functional Differentiation of Computer ProgramsKarczmarczuk, J. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 204
-
A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile ObjectsMoreau, L. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 216
-
Pragmatic Subtyping in Polymorphic LanguagesNordlander, J. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 228
-
A Framework for Type Inference with SubtypingPottier, F. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 239
-
Cayenne - a language with dependent typesAugustsson, L. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 251
-
Recycling ContinuationsSobel, J. / Friedman, D. P. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 261
-
Imperative Streams - A Monadic Combinator Library for Synchronous ProgrammingScholz, E. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 273
-
The Under-Appreciated UnfoldGibbons, J. / Jones, G. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 280
-
Fold and Unfold for Program SemanticsHutton, G. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 289
-
Encoding Types in ML-like LanguagesYang, Z. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 301
-
Intensional Polymorphism in Type-Erasure SemanticsCrary, K. / Weirich, S. / Morrisett, G. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 313
-
Implementing Typed Intermediate LanguagesShao, Z. / League, C. / Monnier, S. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 324
-
A Non-Deterministic Call-by-Need Lambda CalculusKutzner, A. / Schmidt-Schauss, M. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 336
-
Land^*: an AND with local bindings, a guarded LET^* special formKyselov, O. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 337
-
Functional Style in C++: Closures, Late Binding, and Lambda AbstractionsKyselov, O. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 338
-
Type Errors Confuse the ProgrammerMcAdam, B. J. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 339
-
Controlled Temporal Non-Determinism For Reasonning With A Machine Of Finite SpeedEnnals, R. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 340
-
Verbose typingEnnals, R. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 341
-
On Application of Self-Similar Pictures in EducationPutnik, Z. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 342
-
MAP: A Functional Analysis and Design MethodRussell, D. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 343
-
A delegation language to request weather products and a scheme of its interpretationKyselov, O. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 344
-
A Structured Approach to Retrieving Functions by TypesQiuyan An, N. / Park, Y. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 345
-
Frob: Functional RoboticsShu Ling, G. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 346
-
A Functional Programming Approach to Hypermedia AuthoringMarcos, D. / Martinez Leo, P. / Risi, W. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 347
-
A Term Calculus for a Unitary Approach to NormalizationFaggian, C. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 348
-
Implementing Design Patterns as Language ConstructsErlich, Y.-D. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 349
-
A lazy CGI namespace in SchemeKyselov, O. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 350
-
Automating Derivation of Incremental ProgramsZhang, Y. / Lin, Y. A. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999
- 351
-
Combining CFG and Recursive Functions to Get a New LanguageHaiming, C. / ACM; Special Interest Group on Programming Languages (SIGPLAN) et al. | 1999