Search results for "ICFP"

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

Publications at "ICFP"( http://dblp.L3S.de/Venues/ICFP )