journals/ipl/SonLCS98:::Jung Je Son::Jong In Lim::Seongtaek Chee::Soo Hak Sung:::Global Avalanche Characteristics and Nonlinearity of Balanced Boolean Functions.
journals/ipl/HwangLLKC95:::Tzonelih Hwang::Narn-Yih Lee::Chuan-Ming Li::Ming-Yung Ko::Yung-Hsiang Chen:::Two Attacks on Neuman-Stubblebine Authentication Protocols.
journals/ipl/ChungKK03:::Yon Dohn Chung::Jong Wook Kim::Myoung-Ho Kim:::Efficient preprocessing of XML queries using structured signatures.
journals/ipl/Winkler82:::Peter M. Winkler:::On Computability of the Mean Deviation.
journals/ipl/DessmarkGL98:::Anders Dessmark::Oscar Garrido::Andrzej Lingas:::A Note on Parallel Complexity of Maximum <i>f</i>-Matching.
journals/ipl/SrikantK91:::R. Srikant::Kamala Krithivasan:::Fastest Path Across Constrained Moving Rectilinear Obstacles.
journals/ipl/El-YanivK95:::Ran El-Yaniv::Jon M. Kleinberg:::Geometric Two-Server Algorithms.
journals/ipl/Raymond89:::Kerry Raymond:::A Distributed Algorithm for Multiple Entries to a Critical Section.
journals/ipl/BhattacharyaB94:::Subir Bhattacharya::A. Bagchi:::A General Framework for Minimax Search in Game Trees.
journals/ipl/TsuchiyaIK99:::Tatsuhiro Tsuchiya::Nobuhiko Ido::Tohru Kikuno:::Constructing Byzantine Quorum Systems from Combinatorial Designs.
journals/ipl/ArvindB87:::V. Arvind::S. Biswas:::An O(n²) Algorithm for the Satisfiability Problem of a Subset of Propositional Sentences in CNF That Includes All Horn Sentences.
journals/ipl/WilliamsB79:::M. Howard Williams::A. R. Bulmer:::A Transportable Code Generator System.
journals/ipl/Backhouse82:::Roland Carl Backhouse:::Writing a Number as a Sum of Two Squares: A New Solution.
journals/ipl/VasconcelosR99:::Vasco Thudichum Vasconcelos::António Ravara:::Communication Errors in the pi-Calculus are Undecidable.
journals/ipl/Geist84:::Robert Geist:::Perception-Based Configuration Design of Computer Systems.
journals/ipl/HiroseI97:::Shouichi Hirose::Katsuo Ikeda:::A Conference Key Distribution System for the Star Configuration Based on the Discrete Logarithm Problem.
journals/ipl/SwainM02:::Anjan Kumar Swain::Alan S. Morris:::Performance improvement of self-adaptive evolutionary methods with a dynamic lower bound.
journals/ipl/CunninghamG76:::Jim Cunningham::M. E. J. Gilford:::A Note on the Semantic Definition of Side Effects.
journals/ipl/Shikishima-TsujiKK97:::Kayoko Shikishima-Tsuji::Masashi Katsura::Yuji Kobayashi:::On Termination of Confluent One-Rule String-Rewriting Systems.
journals/ipl/Zwick96:::Uri Zwick:::On the Number of ANDs Versus the Number of ORs in Monotone Boolean Circuits.
journals/ipl/DattaS95:::Alak Kumar Datta::Ranjan K. Sen:::1-Approximation Algorithm for Bottleneck Disjoint Path Matching.
journals/ipl/Rosenbloom99:::Arnold Rosenbloom:::On the Sets of Perfect Matchings for Two Bipartite Graphs.
journals/ipl/Monti96:::Angelo Monti:::On the Computational Complexity of Graph Closures.
journals/ipl/Nikolopoulos95:::Stavros D. Nikolopoulos:::Constant-Time Parallel Recognition of Split Graphs.
journals/ipl/Braben01:::D. W. Braben:::Bucking the trends.
journals/ipl/BerardD00:::Béatrice Bérard::Catherine Dufourd:::Timed automata and additive clock constraints.
journals/ipl/Naumann94:::David A. Naumann:::A Recursion Theorem for Predicate Transformers on Inductive Data Types.
journals/ipl/RajanarayananI91:::Subbiah Rajanarayanan::S. Sitharama Iyengar:::A New Optimal Distributed Algorithm for the Set Intersection Problem.
journals/ipl/Klapper87:::Andrew Klapper:::A Lower Bound on the Complexity of the Convex Hull Problem for Simple Polyhedra.
journals/ipl/NardelliPW01:::Enrico Nardelli::Guido Proietti::Peter Widmayer:::A faster computation of the most vital edge of a shortest path.
journals/ipl/Carlsson91:::Svante Carlsson:::An Optimal Algorithm for Deleting the Root of a Heap.
journals/ipl/Topor84:::Rodney W. Topor:::Termination Detection for Distributed Computations.
journals/ipl/YellingJ93:::Daniel M. Yellin::Charanjit S. Jutla:::Finding Extremal Sets in Less than Quadratic Time.
journals/ipl/Bussche01:::Jan Van den Bussche:::Rewriting queries using views over monadic database schemas.
journals/ipl/Banatre77:::Jean-Pierre Banâtre:::Producing Optimised Code for Coercions.
journals/ipl/Bachmair92:::Leo Bachmair:::Associative-Commutative Reduction Orderings.
journals/ipl/Hartmanis85:::Juris Hartmanis:::Independence Results About Context-Free Languages and Lower Bounds.
journals/ipl/HuangL91:::Bing-Chao Huang::Michael A. Langston:::Stable Set and Multiset Operations in Optimal Time and Space.
journals/ipl/HuangL98:::Shing-Tsaan Huang::Tzong-Jye Liu:::Four-State Stabilizing Phase Clock for Unidirectional Rings of Odd Size.
journals/ipl/FraczakZ98:::Wojciech Fraczak::Marek B. Zaremba:::A Non-SOS Operational Semantics for a Process Algebra.
journals/ipl/Bernstein86:::Herbert J. Bernstein:::Determining the Shape of a Convex n-Sided Polygon by Using 2n+k Tactile Probes.
journals/ipl/Levcopoulos87:::Christos Levcopoulos:::An \Omega(\sqrt(n)) Lower Bound for the Nonoptimality of the Greedy Triangulation.
journals/ipl/ChoffrutC83:::Christian Choffrut::Karel Culik II:::Folding of the Plane and the Design of Systolic Arrays.
journals/ipl/IsraeliS98:::Amos Israeli::Asaf Shirazi:::The Time Complexity of Updating Snapshot Memories.
journals/ipl/HochbaumS89:::Dorit S. Hochbaum::Ron Shamir:::An O(n log2 n) Algorithm for the Maximum Weighted Tardiness Problem.
journals/ipl/Ohlebusch00:::Enno Ohlebusch:::A uniform framework for term and graph rewriting applied to combined systems.
journals/ipl/Ohlebusch95:::Enno Ohlebusch:::Termination is not Modular for Confluent Variable-Preserving Term Rewriting Systems.
journals/ipl/BansalVG02:::Shivi Shekhar Bansal::Bijendra Vishal::Phalguni Gupta:::Near optimal Cholesky factorization on orthogonal multiprocessors.
journals/ipl/Ramanan87:::Prakash V. Ramanan:::Obtaining Lower Bounds Using Artificial Components.
journals/ipl/Jenner95:::Birgit Jenner:::Knapsack Problems for NL.
journals/ipl/Anstee87:::Richard P. Anstee:::A Polynomial Algorithm for b-Matchings: An Alternative Approach.
journals/ipl/FeijenGG87:::W. H. J. Feijen::A. J. M. van Gasteren::David Gries:::In-situ Inversion of a Cyclic Permutation.
journals/ipl/DoyleR76:::Jon Doyle::Ronald L. Rivest:::Linear Expected Time of a Simple Union-Find Algorithm.
journals/ipl/KannLP98:::Viggo Kann::Jens Lagergren::Alessandro Panconesi:::Approximate Max <i>k</i>-Cut with Subgraph Guarantee.
journals/ipl/Vishkin85:::Uzi Vishkin:::On Efficient Parallel Strong Orientation.
journals/ipl/Mazzanti95:::S. Mazzanti:::Succinct Iterative Characterizations of Primitive Computable Unary Functions.
journals/ipl/Kantabutra83:::Vitit Kantabutra:::Traveling Salesman Cycles are not Always Subgraphs of Voronoi Duals.
journals/ipl/SteckelbergS77:::James M. Steckelberg::Sharad C. Seth:::On a Relation Between Algebraic Programs and Turing Machines.
journals/ipl/Johannsen98:::Jan Johannsen:::Lower Bounds for Monotone Real Circuit Depth and Formula Size and Tree-Like Cutting Planes.
journals/ipl/Demolombe82:::Robert Demolombe:::Generalized Division for Relational Algebraic Language.
journals/ipl/Findler72:::Nicholas V. Findler:::Short Note on a Heuristic Search Strategy in Long-Term Memory Networks.
journals/ipl/Gobel00:::Manfred Göbel:::Rings of polynomial invariants of the alternating group have no finite SAGBI bases with respect to any admissible order.
journals/ipl/AvisRW89:::David Avis::J. M. Robert::R. Wenger:::Lower Bounds for Line Stabbing.
journals/ipl/Bright93:::Jonathan D. Bright:::Range-Restricted Mergeable Priority Queues.
journals/ipl/Myers95:::Gene Myers:::Approximately Matching Context-Free Languages.
journals/ipl/Golic99:::Jovan Dj. Golic:::Stream Cipher Encryption of Random Access Files.
journals/ipl/Nijholt82:::Anton Nijholt:::A Note on the Sufficiency of Sokolowski's Criterion for Context-Free Languages.
journals/ipl/Bertossi88a:::Alan A. Bertossi:::On the Domatic Number of Interval Graphs.
journals/ipl/Pallo03a:::Jean Marcel Pallo:::Right-arm rotation distance between binary trees.
journals/ipl/HambruschL03:::Susanne E. Hambrusch::Chuan-Ming Liu:::Data replication in static tree structures.
journals/ipl/Grant79:::John Grant:::Partial Values in a Tabular Database Model.
journals/ipl/ChangC03:::Chin-Chen Chang::Chi-Yien Chung:::An efficient protocol for anonymous multicast and reception.
journals/ipl/ChangC97:::Hung-Yi Chang::Rong-Jaye Chen:::Embedding Cycles in IEH Graphs.
journals/ipl/ChangL93:::Maw-Shang Chang::Yi-Chang Liu:::Polynomial Algorithms for the Weighted Perfect Domination Problems on Chordal Graphs and Split Graphs.
journals/ipl/Green91:::Frederic Green:::An Oracle Separating \oplus P from PP^PH.
journals/ipl/Atallah83:::Mikhail J. Atallah:::A Linear Time Algorithm for the Hausdorff Distance Between Convex Polygons.
journals/ipl/GemmellH94:::Peter Gemmell::Mor Harchol:::Tight Bounds on Expected Time to Add Correctly and Add Mostly Correctly.
journals/ipl/LawlerS95:::Eugene L. Lawler::Sergei Sarkissian:::An Algorithm for ``Ulam's Game'' and its Application to Error Correcting Codes.
journals/ipl/ScarioniS84:::F. Scarioni::H. G. Speranza:::A Probabilistic Analysis of an Error-Correcting Algorithm for the Towers of Hanoi Puzzle.
journals/ipl/KorelL88:::Bogdan Korel::Janusz W. Laski:::Dynamic Program Slicing.
journals/ipl/Bertossi84:::Alan A. Bertossi:::Dominating Sets for Split and Bipartite Graphs.
journals/ipl/Muller92:::Fritz Müller:::Confluence of the Lambda Calculus with Left-Linear Algebraic Rewriting.
journals/ipm/Su92:::Louise T. Su:::Evaluation Measures for Interactive Information Retrieval.
journals/ipm/Chen01:::Hsin-liang Chen:::An analysis of image retrieval tasks in the field of art history.
journals/ipm/Chen93:::Zhengxin Chen:::A Conceptual Model for Storage and Retrieval of Short Scientific Texts.
journals/ipm/Cole98:::Charles Cole:::Book Review: Information Seeking and Subject Representation: An Activity-Theoretical Approach to Information Science by B. Hjorland.
journals/ipm/WolframVD96:::Dietmar Wolfram::A. Volz::Alexandra Dimitroff:::The Effect of Linkage Structure on Retrieval Performance in a Hypertext-Based Bibliographic Retrieval System.
journals/ipm/Allen94:::Bryce Allen:::Cognitive Abilities and Information System Usability.
journals/ipm/LiddyJSY93:::Elizabeth D. Liddy::Corinne L. Jörgensen::Ernest E. Sibert::Edmund S. Yu:::A Sublanguage Approach to Natural Language Processing for an Expert System.
journals/ipm/Bates02:::Marcia J. Bates:::The cascade of interactions in the digital library interface.
journals/ipm/TurtleF95:::Howard R. Turtle::James Flood:::Query Evaluation: Strategies and Optimizations.
journals/ipm/SpinkGR98:::Amanda Spink::Abby Goodrum::David Robins:::Elicitation Behavior During Mediated Information Retrieval.
journals/ipm/Pao92:::Miranda Lee Pao:::Global and Local Collaborators: A Study of Scientific Collaboration.
journals/ipm/Pao94:::Miranda Lee Pao:::Relevance Odds of Retrieval Overlaps from Seven Search Fields.
journals/ipm/WuF94:::Xiaolin Wu::Yonggang Fang:::Progressive Image Coding by Hierarchical Linear Approximation.
journals/ipm/Michel01:::Christine Michel:::Ordered similarity measures taking into account the rank of documents.
journals/ipm/MoffatSWB94:::Alistair Moffat::Neil Sharman::Ian H. Witten::Timothy C. Bell:::An Empirical Evaluation of Coding Methods for Multi-symbol Alphabets.
journals/ipm/Kwok98:::K. L. Kwok:::Book Review: Information Storage and Retrieval by R. R. Korfhage.
journals/ipm/Carlyle01:::Allyson Carlyle:::Developing organized information displays for voluminous works: a study of user clustering behavior.
journals/ipm/Blair02:::David C. Blair:::The challenge of commercial document retrieval, Part I: Major issues, and a framework based on search exhaustivity, determinacy of representation and document collection size.
journals/ipm/CaboL97:::María José Aramburu Cabo::Rafael Berlanga Llavori:::An approach to a digital library of newspapers.
journals/ipm/Harman95:::Donna Harman:::The Second Text Retrieval Conference (TREC-2).
journals/ipm/FeyginGC94:::Gennady Feygin::P. Glenn Gulak::Paul Chow:::Minimizing Excess Code Length and VLSI Complexity in the Multiplication Free Approximation of Arithmetic Coding.
journals/ipm/AllanLSB01:::James Allan::Anton Leuski::Russell C. Swan::Donald Byrd:::Evaluating combinations of ranked lists and visualizations of inter-document similarity.
journals/ipm/Ruge92:::Gerda Ruge:::Experiments on Linguistically-Based Term Associations.
journals/ipm/Miller97:::U. Miller:::Thesaurus construction: problems and their roots.
journals/ipm/Goodrum96:::Abby Goodrum:::A Guide to Image Processing and Picture Management.
journals/ipm/Danilowicz94:::Czeslaw Danilowicz:::Modelling of User Preferences and Needs in Boolean Retrieval Systems.
journals/ipm/JengW94:::Ling Hwey Jeng::Karen B. Weiss:::Modeling Cataloging Expertise: A Feasibility Study.
journals/ipm/Wolfram92a:::Dietmar Wolfram:::Applying Informetric Characteristics of Databases to IR System File Design, Part II: Simulation Comparisons.
journals/ipm/StanfillT91:::Craig Stanfill::Robert Thau:::Information Retrieval on the Connection Machine.
journals/ipm/TahaiR98:::Alireza Tahai::John T. Rigsby:::Information Processing Using Citations to Investigate Journal Influence in Accounting.
journals/ipm/FuketaMHA98:::Masao Fuketa::Shoji Mizofuchi::Yoshitaka Hayashi::Jun-Ichi Aoe:::A Fast Method of Determining Weighted Compound Keywords from Text Databases.
journals/ipm/SheridanS92:::Paraic Sheridan::Alan F. Smeaton:::The Application of Morpho-Syntactic Language Processing to Effective Phrase Matching.
journals/ipm/Frisse97:::Mark E. Frisse:::Information Retrieval: A Health Care Perspective.
journals/ipm/AlvarezP98:::Pedro Alvarez::Antonio Pulgarín:::Equating Research Production in Different Scientific Fields.
journals/ipm/AndonoffCM92:::Eric Andonoff::Michel Canillac::Catherine Mendiboure:::OHQL: A Hypertext Approach for Manipulating Object-Oriented Databases.
journals/ipm/Jokic97:::M. Jokic:::Analysis of users' searches of CD-ROM databases in the national and university library in Zagreb.
journals/ipm/KleijnenG00:::Jack P. C. Kleijnen::Willem J. H. Van Groenendaal:::Measuring the quality of publications: new methodology and case study.
journals/ipm/EisenbergS93:::Michael Eisenberg::Ruth V. Small:::Information-Based Education: An Investigation of the Nature and Role of Information Attributes in Education.
journals/ipm/CrestaniL00:::Fabio Crestani::Puay Leng Lee:::Searching the web by constrained spreading activation.
journals/ipm/KimKL98:::Won Yong Kim::Myoung-Ho Kim::Yoon-Joon Lee:::Probabilistic Retrieval Incorporating the Relationships of Descriptors Incrementally.
journals/ipm/Smeaton00:::Alan F. Smeaton:::TREC-6: personal highlights.
journals/ipm/Courtois99:::Marc Courtois:::Internet Issues and Applications - Review.
journals/ipm/Lalmas98:::Mounia Lalmas:::Logical Models in Information Retrieval: Introduction and Overview.
journals/ipm/BrysonNM94:::Noel Bryson::Ojelanki K. Ngwenyama::Ayodele Mobolurin:::A Qualitative Discriminant Process for Scoring and Ranking in Group Support Systems.
journals/ipm/LeeCP99:::J. H. Lee::H. Y. Cho::H. R. Park:::n-Gram-based indexing for Korean text retrieval.
journals/ipm/RoweL95:::Neil C. Rowe::Kari Laitinen:::Semiautomatic Disabbreviation of Technical Text.
journals/ipm/Dubin96:::David Dubin:::MultiMedia and Imaging Databases.
journals/ipm/Gordon97:::Michael D. Gordon:::It's 10 A.M. - Do You Know Where Your Documents Are? The Nature and Scope of Information Retrieval Problems in Business.
journals/ipm/Wilson97b:::T. Wilson:::Review - Managing information for the competitive edge.
journals/ipm/CosijnI00:::Erica Cosijn::Peter Ingwersen:::Dimensions of relevance.
journals/ipm/FangF95:::P. H. Fang::John M. Fang:::A Modification of Lotka's Function for Scientific Productivity.
journals/ipm/Villasenor94:::John D. Villasenor:::Tomographic Image Compression Using Multidimensional Transforms.
journals/ipm/Mazur94:::Zygmunt Mazur:::Models of a Distributed Information Retrieval System Based on Thesauri with Weights.
journals/ipm/TangS98:::Rong Tang::Paul Solomon:::Toward an Understanding of the Dynamics of Relevance Judgment: An Analysis of One Person's Search Behavior.
journals/ipm/Bourne77:::Charles P. Bourne:::Frequency and Impact of Spelling Errors in Bibliographic Databases.
journals/ipm/Roussinov00:::Dmitri Roussinov:::Review - Slaves of the machine; Gregory J. E. Rawlins, MIT Press.
journals/ipm/Losee94:::Robert M. Losee:::Upper Bounds for Retrieval Performance and Their Use Measuring Performance and Generating Optimal Boolean Queries: Can It Get Any Better Than This?
journals/ipm/Bowker99:::Geoffrey C. Bowker:::Technology and privacy: the new landscape - Review.
journals/ipm/Zobel97:::Justin Zobel:::Document Processing and Retrieval: TEXPROS.
journals/ipm/VilesF99:::Charles L. Viles::James C. French:::Content Locality in Distributed Digital Libraries.
journals/ipm/Endres-Niggemeyer00:::Brigitte Endres-Niggemeyer:::SimSum: an empirically founded simulation of summarizing.
journals/ipm/HershO01:::William R. Hersh::Paul Over:::Interactivity at the Text Retrieval Conference (TREC).
journals/ipm/Salton88:::Gerard Salton:::A Simple Blueprint for Automatic Boolean Query Processing.
journals/ipm/Salton92:::Gerard Salton:::The State of Retrieval System Evaluation.
journals/ipm/Suomi94:::Reima Suomi:::What to Take into Account When Building an Inter-Organizational Information System.
journals/ipm/SaarelaTPKS97:::Janne Saarela::Marko Turpeinen::T. Puskala::Mari Korkea-aho::Reijo Sulonen:::Logical structure of a hypermedia newspaper.
journals/ipm/KumarSG98:::Suresh Kumar::Praveen Sharma::K. C. Garg:::Lotka's Law and Institutional Productivity.
journals/ipm/Satija98:::M. P. Satija:::Book Review: Success Factors for Fee-based Information Services by Irene Wormell.
journals/ipm/MettlerN95:::Matt Mettler::F. Nordby:::TREC Routing Experiments with the TRW/Paracel Fast Data Finder.
journals/ipm/Borgman99:::Christine L. Borgman:::What are Digital Libraries? Competing Visions.
journals/ipm/Sanderson97:::Mark Sanderson:::Information Seeking in Electronic Environment.
journals/ipm/MarchioniniPK98:::Gary Marchionini::Catherine Plaisant::Anita Komlodi:::Interfaces and Tools for the Library of Congress National Digital Library Program.
journals/ipm/AgostiGM92:::Maristella Agosti::Girolamo Gradenigo::Pier Giorgio Marchetti:::A Hypertext Environment for Interacting with Large Textual Databases.
journals/ipm/BergerB97:::F. C. Berger::Patrick van Bommel:::Augmenting a characterization network with semantic information.
journals/ipm/MandalaTT00:::Rila Mandala::Takenobu Tokunaga::Hozumi Tanaka:::Query expansion using heterogeneous thesauri.
journals/ipm/Borlund97:::Pia Borlund:::Review - Information Tasks: Toward a User-centred Approach to Information Systems.
journals/ipm/Blair02b:::David C. Blair:::Some thoughts on the reported results of TREC.
journals/ipm/Zanger02:::Daniel Z. Zanger:::Interpolation of the extended Boolean retrieval model.
journals/ipm/Madden96:::Kenneth G. Madden:::Public Access to the Internet.
journals/ipm/WattersBS97:::Carolyn R. Watters::Forbes J. Burkowski::Michael A. Shepherd:::Introduction.
journals/jfp/Bird98:::Richard S. Bird:::Meertens Number.
journals/jfp/Hinze01:::Ralf Hinze:::Manufacturing datatypes.
journals/jfp/AspertiGN96:::Andrea Asperti::Cecilia Giovanetti::Andrea Naletto:::The Bologna Optimal Higher-Order Machine.
journals/jfp/HartelG96:::Pieter H. Hartel::Hugh Glaser:::The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language.
journals/jfp/RuncimanR96:::Colin Runciman::Niklas Röjemo:::New Dimensions in Heap Profiling.
journals/jfp/RuncimanW93:::Colin Runciman::David Wakeling:::Heap Profiling of Lazy Functional Programs.
journals/jfp/Appel93:::Andrew W. Appel:::A Critique of Standard ML.
journals/jfp/ClackCP95:::Chris D. Clack::Stuart Clayman::David Parrott:::Lexical Profiling: Theory and Practice.
journals/jfp/AppelS96:::Andrew W. Appel::Zhong Shao:::Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures.
journals/jfp/GeserG99:::Alfons Geser::Sergei Gorlatch:::Parallelizing functional programs by generalization.
journals/jfp/Runciman97:::Colin Runciman:::Lazy Wheel Sieves and Spirals of Primes.
journals/jfp/Hedberg98:::Michael Hedberg:::A Coherence Theorem for Martin-Löf's Type Theory.
journals/jfp/RondogiannisW97:::Panos Rondogiannis::William W. Wadge:::First-Order Functional Languages and Intensional Logic.
journals/jfp/Hinze00a:::Ralf Hinze:::Generalizing generalized tries.
journals/jfp/AbadiCCL91:::Martín Abadi::Luca Cardelli::Pierre-Louis Curien::Jean-Jacques Lévy:::Explicit Substitutions.
journals/jfp/AbadiCPR95:::Martín Abadi::Luca Cardelli::Benjamin C. Pierce::Didier Rémy:::Dynamic Typing in Polymorphic Languages.
journals/jfp/Cosmo93:::Roberto Di Cosmo:::Deciding Type Isomorphisms in a Type-Assignment Framework.
journals/jfp/Jones01:::Neil D. Jones:::The expressive power of higher-order types or, life without CONS.
journals/jfp/Jones92:::Richard Jones:::Tail Recursion without Space Leaks.
journals/jfp/Jones95:::Mark P. Jones:::A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism.
journals/jfp/BentonBP98:::P. N. Benton::Gavin M. Bierman::Valeria de Paiva:::Computational Types from a Logical Perspective.
journals/jfp/HengleinM94:::Fritz Henglein::Harry G. Mairson:::The Complexity of Type Inference for Higher-Order Typed lambda Calculi.
journals/jfp/Okasaki95:::Chris Okasaki:::Simple and Efficient Purely Functional Queues and Deques.
journals/jfp/Okasaki99:::Chris Okasaki:::Red-Black Trees in a Functional Setting.
journals/jfp/KishonH95:::Amir Kishon::Paul Hudak:::Semantics Directed Program Execution Monitoring.
journals/jfp/Mitchell91:::John C. Mitchell:::Type Inference With Simple Subtypes.
journals/jfp/Augustsson93:::Lennart Augustsson:::The Interactive Lazy ML System.
journals/jfp/BartheS00:::Gilles Barthe::Morten Heine Sørensen:::Domain-free pure type systems.
journals/jfp/Erwig98:::Martin Erwig:::Diets for Fat Sets.
journals/jfp/CaporasoCP01:::Salvatore Caporaso::Emanuele Covino::Giovanni Pani:::A predicative approach to the classification problem.
journals/jfp/OrbaekP97:::Peter Ørbæk::Jens Palsberg:::Trust in the lambda-Calculus.
journals/jfp/BirdMH96:::Richard S. Bird::Oege de Moor::Paul F. Hoogendijk:::Generic Functional Programming with Types and Relations.
journals/jfp/LuthW99:::Christoph Lüth::Burkhart Wolff:::Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
journals/jfp/MaraistOW98:::John Maraist::Martin Odersky::Philip Wadler:::The Call-by-Need Lambda Calculus.
journals/jfp/Tofte94:::Mads Tofte:::Principal Signatures for Higher-Order Program Modules.
journals/jfp/Harrison93:::Rachel Harrison:::The Use of Functional Languages in Teaching Computer Science.
journals/jfp/AchtenP95:::Peter Achten::Marinus J. Plasmeijer:::The Ins and Outs of Clean I/O.
journals/jfp/MichaelsonS95:::Greg Michaelson::Norman Scaife:::Prototyping a Parallel Vision System in Standard ML.
