Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Karl Crary, Stephanie Weirich, J. Gregory Morrisett |
Intensional Polymorphism in Type-Erasure Semantics. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Yuchen Zhang, Yanhong A. Liu |
Automating Derivation of Incremental Programs. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bruce J. McAdam |
Type Errors Confuse the Programmer (Poster Abstract). |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
ML |
1 | Robert Ennals |
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Edalat, Peter John Potts, Philipp Sünderhauf |
Lazy Computation with Exact Real Numbers. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Felleisen, Paul Hudak, Christian Queinnec (eds.) |
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | John Hannan, Patrick Hicks |
Higher-Order Arity Raising. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jon Mountjoy |
The Spineless Tagless G-machine, naturally. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Karczmarczuk |
Functional Differentiation of Computer Programs. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
lazy semantics, Haskell, Haskell, arithmetic, differentiation, derivatives |
1 | Graham Hutton |
Fold and Unfold for Program Semantics. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
CCS |
1 | Colin J. Taylor |
A Theory of Core Fudgets. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky |
Programming with Variable Functions. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zoran Putnik |
On Application of Self-Similar Pictures in Education. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Sobel, Daniel P. Friedman |
Recycling Continuations. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
CSP |
1 | Richard B. Kieburtz |
Taming Effects with Monadic Typing. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
ML |
1 | Nancy An, Young Park |
A Structured Approach to Retrieving Functions by Types. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sigbjørn Finne, Daan Leijen, Erik Meijer 0001, Simon L. Peyton Jones |
H/Direct: A Binary Foreign Language Interface for Haskell. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
Haskell, IDL |
1 | Robert Ennals |
Verbose Typing. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Luc Moreau 0001 |
A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Johan Nordlander |
Pragmatic Subtyping in Polymorphic Languages. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | François Pottier |
A Framework for Type Inference with Subtyping. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ian Mackie |
YALE: Yet Another Lambda Evaluator Based on Interaction Nets. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach |
Building Program Optimizers with Rewriting Strategies. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
ML |
1 | Oleg Kiselyov |
A Lazy CGI Namespace in Scheme. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
1 | Oleg Kiselyov |
A Delegation Language to Request Weather Products and a Scheme of Its Interpretation. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov |
Functional Style in C++: Closures, Late Binding, and Lambda Abstractions. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
C++ |
1 | Enno Scholz |
Imperative Streams - A Monadic Combinator Library for Synchronous Programming. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
Haskell, monads, synchronous languages, interactive graphics |
1 | Gary Shu Ling |
Frob - Functional Robotics. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Yang |
Encoding Types in ML-Like Languages. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
MC68000 Assembly Language |
1 | Lennart Augustsson |
Cayenne - a Language with Dependent Types. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
type systems, language design, dependent types, module systems |
1 | Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles |
PLAN: A Packet Language for Active Networks. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jörgen Gustavsson |
A Type Based Sharing Analysis for Update Avoidance and Optimisation. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Yan-David Erlich |
Implementing Design Patterns as Language Constructs. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
The Marriage of Effects and Monads. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Robert Bruce Findler, Matthew Flatt |
Modular Object-Oriented Programming with Units and Mixins. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Dan Russell |
MAP: A Functional Analysis and Design Method. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton, Andrew Kennedy, George Russell |
Compiling Standard ML to Java Bytecodes. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
MC68000 Assembly Language, Java |
1 | Oleg Kiselyov |
LAND*: an AND with local bindings, a guarded LET* special form. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Gibbons, Geraint Jones |
The Under-Appreciated Unfold. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
anamorphism, co-induction, level-order, functional programing, unfold, fold, traversal, breadth-first, program calculation |
1 | Zhong Shao, Christopher League, Stefan Monnier |
Implementing Typed Intermediate Languages. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zhong Shao |
Typed Cross-Module Compilation. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Haiming Chen |
Combining CFG and Recursive Functions to Get a New Language. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh |
Lava: Hardware Design in Haskell. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Arne Kutzner, Manfred Schmidt-Schauß |
A Non-Deterministic Call-by-Need Lambda Calculus. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Daniel H. Marcos, Pablo E. Martínez López, Walter A. Risi |
A Functional Programming Approach to Hypermedia Authoring. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Faggian |
A Term Calculus for Unitary Approach to Nomalization. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Julia L. Lawall, Harry G. Mairson |
on Global Dynamics of Optimal Graph Reduction. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Joe L. Armstrong |
The Development of Erlang. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
ERLANG |
1 | Walid Taha, Tim Sheard |
Multi-Stage Programming. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta |
Protien Folding meets Functional Programming. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Fähndrich, John Boyland |
Statically Checkable Pattern Abstractions. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Koen Claessen, Ton Vullinghs, Erik Meijer 0001 |
Structuring Graphical Paradigms in TkGofer. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells |
Strongly Typed Flow-Directed Representation Transformations. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
intersection and union types, typed flow analysis, compilation, lambda calculus, inlining, closure conversion |
1 | Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson |
Systematic Realisation of Control Flow Analyses for CML. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
ML, Concurrent C |
1 | Bruce J. McAdam |
BigTypes in ML. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Simon Marlow, Philip Wadler |
A Practical Subtyping System For Erlang. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
ERLANG |
1 | Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta |
Modelling String Folding with G2L Grammars. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Chris Dornan |
Affordable Dynamic Types. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Koji Kagawa |
Compositional References for Stateful Functional Programming. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Richard, Frédéric Saubion, A. Tellez-Arenas |
Intensional Sets Using Explicit Substitutions. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, John Launchbury |
Disposable Memo Functions (Extended Abstract). |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Koen Claessen |
Graphs in Compilation. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Olin Shivers |
Automatic Management of Operating System Resources. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Nevin Heintze, David A. McAllester |
On the Complexity of Set-Based Analysis. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Eleni Spiliopoulou, Ian Holyer, Neil Davies |
Distributed Programming, a Purely Functional Approach. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Viktor K. Sabelfeld, Andrei Sabelfeld |
Simple Semantic Analysis Problems for Functional Programs. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
parameter dependence, static analysis, approximation, abstract interpretation, flow analysis, strictness analysis, recursion scheme |
1 | Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide |
Synthesis of Functions by Transformations and Constraints. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem de Wailly |
Lambda-Flow: A Parallel Functional Synchronous Dataflow Language. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary |
Foundations for the Implementation of Higher-Order Subtyping. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Ungureanu, Benjamin Goldberg |
Formal Models of Distributed Memory Management. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Martin Erwig |
Functional Programming with Graphs. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Eero Lassila |
A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Dussart, John Hughes, Peter Thiemann 0001 |
Type Specialization for Imperative Languages. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
program transformation, type systems, monads, specialisation |
1 | Simon L. Peyton Jones, Mads Tofte, A. Michael Berman (eds.) |
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Scott Draves |
Implementing Bit-addressing with Specialization. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Bell, Françoise Bellegarde, James Hook |
Type-Driven Defunctionalization. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Zhong Shao |
Flexible Representation Analysis. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bjarte M. Østvold |
Inductive Synthesis of Recursive Functional Programs (Poster Abstract). |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Conal Elliott, Paul Hudak |
Functional Reactive Animation. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Duris |
Functional Programming and Attribute Grammars Deforestation. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | J. Michael Ashley |
The Effectiveness of Flow Analysis for Inlining. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Chris Okasaki |
Catenable Double-Ended Queues. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John Launchbury, Amr Sabry |
Monadic State: Axiomatization and Type Safety. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Wei-Ngan Chin, Masami Hagiya |
A Bounds Inference Method for Vector-Based Memoisation. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Hicks, Jonathan T. Moore, Scott Nettles |
The Measured Cost of Copying Garbage Collection Mechanisms. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
OSCAR |
1 | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano |
Tupling Calculation Eliminates Multiple Data Traversals. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Blume, Andrew W. Appel |
Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kris Aerts, Karel De Vlaminck |
A GUI on Top of a Functional Language. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anindya Banerjee 0001 |
A Modular, Polyvariant, and Type-Based Closure Analysis. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones, Will Partain, André L. M. Santos |
Let-floating: Moving Bindings to Give Faster Programs. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Guy E. Blelloch, John Greiner |
A Provable Time and Space Efficient Implementation of NESL. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chris Okasaki |
The Role of Lazy Evaluation in Amortized Data Structures. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Julia L. Lawall, Harry G. Mairson |
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
Deriving Structural Hylomorphisms From Recursive Definitions. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Amr Sabry, Philip Wadler |
A Reflection on Call-by-Value. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Franklyn A. Turbak |
First-Class Synchronization Barriers. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Thérèse Hardin, Luc Maranget, Bruno Pagano |
Functional Back-Ends within the Lambda-Sigma Calculus. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Paul Caspi, Marc Pouzet |
Synchronous Kahn Networks. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | David S. Wise, Joshua Walgenbach |
Static and Dynamic Partitioning of Pointers as Links and Threads. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
tags, garbage collection, storage management, reference counting |
1 | Cormac Flanagan, Rishiyur S. Nikhil |
pHluid: The Design of a Parallel Functional Language Implementation on Workstations. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
garbage collection and run-time systems, parallel and distributed implementations, data flow |