yusuke1997/dblp-id-title huggingface dataset:
Fixed Points and Frontiers: A New Perspective
Haskell 98: Expressions
Special Issue Dedicated to ICFP 2009 Editorial
Region analysis and a pi-calculus with groups
An example of goal-directed, calculational proof
Stack-based access control and secure information flow
Certified, total serialisers with an application to Huffman encoding
Developing a high-performance web server in Concurrent Haskell
Using Transformations in the Implementations of Higher-Order Functions
A programming model and foundation for lineage-based distributed computation
Welcome to the Educational Pearls Column
A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020)
Pickler combinators
A Syntactic Theory of Type Generativity and Sharing
Finally tagless observable recursion for an abstract grammar model
Correctness of compiling polymorphism to dynamic typing
Alice or Bob?: Process polymorphism in choreographies
Blame and coercion: Together again for the first time
Haskell 98: Introduction
Higher-Order Functional Languages and Intensional Logic
Type-based confinement
Type-safe cast
Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics
Type-directed operational semantics for gradual typing
Server side web scripting in Haskell
Embedded interpreters
Capability-based localization of distributed and heterogeneous queries
Reference Counting as a Computational Interpretation of Linear Logic
Abstract Interpretation by Dynamic Partitioning
Causal commutative arrows
"Structure and Interpretation of Classical Mechanics" by Gerald Jay Sussman and Jack Wisdom with Meinhard E. Mayer, The MIT Press; 2001, ISBN 0262194554
Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003
Relational cost analysis in a functional-imperative setting
A language for hierarchical data parallel design-space exploration on GPUs
Review of "The Haskell School of Music: from Signals to Symphonies, " by Paul Hudak and Donya Quick, Cambridge University Press, 2018
On the Effectiveness of Functional Language Features: NAS Benchmark FT
Typed lambda-calculi with one binder
Setoids in type theory
Algebraic data integration
Functional Pearl: Even Higher-Order Functions for Parsing
Engineering Software Correctness
Control effects as a modality
On the complexity of stream equality
Baby Modula-3 and a Theory of Objects
Verified secure compilation for mixed-sensitivity concurrent programs
Structural recursion with locally scoped names
Modular, higher order cardinality analysis in theory and practice
A trustful monad for axiomatic reasoning with probability and nondeterminism
A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains
Type checking dependent (record) types and subtyping
A Study of Sparse Matrix Representations for Solving Linear Systems in a Functional Language
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
Automated complexity analysis of Nuprl extracted programs Journal of Functional Programming
PhD abstracts
Manipulating accumulative functions by swapping call-time and return-time computations
Predictive Parser Combinators Need four Values to Report Errors
Heap Profiling of Lazy Functional Programs
On Merging and Selection
CPS in little pieces: composing partial continuations
Combinators for Parsing Expressions
Review of "A functional start to computing with Python" , Ted Herman, CRC Press, 2014, ISBN 978-1-4665-0455-4
Lazy Wheel Sieves and Spirals of Primes
An intuitionistic [lambda]-calculus with exceptions
Phantom types and subtyping
OutsideIn(X) Modular type inference with local assumptions
A Practical Functional Program for the CRAY X-MP
A Functional Animation Starter-Lit
Tail Recursion without Space Leaks
Defining Data Structures via Böhm-Out
Drawing Programs: The Theory and Practice of Schematic Functional Programming , by Tom Addis and Jan Addis Springer, 2010, ISBN 978-1-84882-617-5, 379pp
Functional Programming in Education - Introduction
Pearls of Functional Algorithm Design , by Richard Bird, Cambridge University Press, September 2010, £35.00, US $ 60.00. ISBN: 978052151338 (hardback), 286pp
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory
DrScheme: a programming environment for Scheme
Asymptotic speedup via effect handlers
Parallel and Distributed Haskells
Functional Programming for Business Students
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
Implementing the Evaluation Transformer Model of Reduction on Parallel Machines
MultiMLton: A multicore-aware runtime for standard ML
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
Flexible dynamic information flow control in the presence of exceptions
Featherweight generic confinement
Staged computation with names and necessity
Uniform confluence in concurrent computation
Special Issue on Generic Programming Editorial
Type-based amortized resource analysis with integers and arrays
Skribe: a functional authoring language
Computational Semantics with Functional Programming , byJan van Eijck andChristina Unger
Functional Pearls: Probabilistic functional programming in Haskell
Leibniz equality is isomorphic to Martin-Löf identity, parametrically
Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004
Denotational semantics as a foundation for cost recurrence extraction for functional languages
Specification and correctness of lambda lifting
Small-step and big-step semantics for call-by-need
Type-safe higher-order channels with channel locality
Contextual equivalence for inductive definitions with binders in higher order typed functional programming
Haskell 98 Libraries: List Utilities
Metamorphism in jigsaw
Not by equations alone: Reasoning with extensible effects
Sound and complete models of contracts
Safety of Nöcker's strictness analysis
The Ins and Outs of Clean I/O
EditorArrow: An arrow-based model for editor-based programming
A Positive Supercompiler
Beginning Haskell , by Alejandro Serrano Mena, Apress, New York City, NY, 2014, ISBN-10: 1430262508, 428 pp
Calculating correct compilers
Tail recursion modulo context: An equational approach (extended version)
Proof-producing translation of higher-order logic into pure and stateful ML
Haskell 98: Basic Input/Output
Batcher's odd-even merging network revealed
A calculus for hardware description
A Foundation for Actor Computation
Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis
On constructing 2-3 trees
Leftmost Outside-In Narrowing Calculi
"Implicit parallel programming in pH" by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001
Book Review: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7
Bee: an integrated development environment for the Scheme programming language
Special Issue Dedicated to ICFP 2011 Editorial
Short cut fusion is correct
π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus
On Building Trees with Minimum Height
Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming . The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp
Exploring the Conformations of Nucleic Acids
Secrets of the Glasgow Haskell Compiler inliner
Combinators for breadth-first search
Efficiency of lambda-encodings in total type theory
Girard translation and logical predicates
Red-black trees with types
On the correctness of monadic backward induction
"Practical Aspects of Declarative Languages" by Shriram Krishnamurthi and C. R. Ramakrishnan (eds.), LNCS 2257, Springer-Verlag, 2002. ISBN 3-540-43092-X
Local algebraic effect theories
Evaluation of splittable pseudo-random generators
A static semantics for Haskell
Haskell 98: Syntax Reference
The verified CakeML compiler backend
Functional and dynamic programming in the design of parallel prefix networks
Haskell 98 Libraries: System Functions
Generic programming with C++ concepts and Haskell type classes - a comparison
Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading
An optimal, purely functional implementation of the Garsia-Wachs algorithm
Editorial - Special issue dedicated to ICFP 2010
A calculus of module systems
A parallel SML compiler based on algorithmic skeletons
Size-based termination of higher-order rewriting
Pure type systems with explicit substitutions
How to find a fake coin
Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms
Experiences of early assessment to teach functional programming
Generating constrained random data with uniform distribution
Haskell in Space
Quantifier Elimination and Parametric Polymorphism in Programming Languages
Heterogeneous binary random-access lists
Perturbation confusion in forward automatic differentiation of higher-order functions
Parsing permutation phrases
Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003
The Use of Functional Languages in Teaching Computer Science
Ott: Effective tool support for the working semanticist
Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts
Natural Expert: A Commercial Functional Programming Environment
The worker/wrapper transformation
Classical (co)recursion: Mechanics
A Domain-Theoretic Approach to Functional and Logic Programming
Roles, stacks, histories: A triple for Hoare
Sparcl: A language for partially invertible computation
Review of "Real World OCaml: Functional Programming for the Masses" Second Edition, by Yaron Minsky and Anil Madhavapeddy, 2023
Representing Demand by Partial Projections
Understanding functional dependencies via constraint handling rules
Programming in Haskell by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5
Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming
A theory of RPC calculi for client-server model
Terminating Comprehensions
Implementing a Functional Spreadsheet in Clean
Inductive synthesis of structurally recursive functional programs from non-recursive expressions
Computational Types from a Logical Perspective
Handbook of Practical Logic and Automated Reasoning , by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574
Calculating the Sieve of Eratosthenes
Haskell 98 Libraries: Directory Functions
A typed representation for HTML and XML documents in Haskell
Finiteness and rational sequences, constructively
Dependent ML An approach to practical programming with dependent types
Red-Black Trees in a Functional Setting
Understanding beginners' mistakes with Haskell
Gabriel-Ulmer duality and Lawvere theories enriched over a general base
A characterization of lambda-terms transforming numerals
Foundations of F# Robert Pickering, Apress, 2007 ISBN 10: 1-59059-757-5
Exploiting reachability and cardinality in higher-order flow analysis
The expressive power of higher-order types or, life without CONS
Profiling Large-Scale Lazy Functional Programs
The lambda calculus is algebraic
Canonical Typing and Pi-Conversion in the Barendregt Cube
Calculating a linear-time solution to the densest-segment problem
Type Inference With Simple Subtypes
Mechanizing metatheory in a logical framework
On tiling a chessboard
Factorising folds for faster functions
Warnings for pattern matching
Tight typings and split bounds, fully developed
Expansion Postponement for Normalising Pure Type Systems
Modelling Operating System Structures by Timed Stream Processing Functions
On Cubism
Algebra of programming in Agda: Dependent types for relational program derivation
Polytypic Unification
The essence of ornaments
Gradual type-and-effect systems
Closed types for a safe imperative MetaML
Linear, bounded, functional pretty-printing
Educational Pearl: Automata via macros
Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X
Type Classes with Existential Types
Regular-expression derivatives re-examined
Kleisli, a functional query system
Compiling a 50-year journey
A - Translation and Looping Combinators in Pure Type Systems
A functional reactive animation of a lift using Fran
Static analysis for path correctness of XML queries
Modeling in Event-B - System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561
Proof-directed program transformation: A functional account of efficient regular expression matching
Do we need dependent types?
Sparse Matrix Representations in a Functional Language
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays
A type system with usage aspects
Verification of non-functional programs using interpretations in type theory
Communication Lifting: Fixed Point Computation for Parallelism
Well-founded recursion with copatterns and sized types
Infusing an HtDP-based CS1 with distributed programming using functional video games
Pragmatic aspects of reusable program generators
Realm of Racket , by Forrest Bice, Rose DeMaio, Spencer Florence, Feng-Yun Mimi Lin, Scott Lindeman, Nicole Nussbaum, Eric Peterson, Ryan Plessner, David Van Horn, Matthias Felleisen and Conrad Barski, MD, No Starch Press, San Franscisco, CA, 2013, £27.49. ISBN-10: 1-59327-491-2
Commercial uses: Going functional on exotic trades
Producing all ideals of a forest, functionally
Interactive programming in Agda - Objects and graphical user interfaces
The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 20001
How to evaluate the performance of gradual type systems
Distributed Random Number Generation
Extracting functional programs from Coq, in Coq
Simple Type-Theoretic Foundations for Object-Oriented Programming
Models for machine learning and data mining in functional programming
On Generating unique Names
Haskell 98 Libraries: Numeric Functions
HOLCF=HOL+LCF
HM(X) type inference is CLP(X) solving
The Educational Pearls column
A New Method for Functional Arrays
Computing with Lattices: An Application of Type Classes
A modular module system
A visualisation of polymorphic type checking
Inductive graphs and functional graph algorithms
Lambda terms for natural deduction, sequent calculus and cut elimination
Elaborating dependent (co)pattern matching: No pattern left behind
An extended account of contract monitoring strategies as patterns of communication
Foundations of dependent interoperability
The Reduceron reconfigured and re-evaluated
Funser: A Functional Server for Textual Information Retrieval
The Soccer-Fun project
A Tutorial on the Universality and Expressiveness of Fold
Maximum marking problems
Cogent: uniqueness types and certifying compilation
Representing 'undefined' in lambda Calculus
Data types à la carte
Haskell 98 Libraries: Input/Output
Skeleton composition versus stable process systems in Eden
Review of "Learn you some Erlang for great good! A beginner's guide" , by Fred Hébert, No Starch Press, 2013, £26.80 (paperback), ISBN: 978-1-59327-435-1
Proofs for free - Parametricity for dependent types
The Call-By-Need lambda Calculus
The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study
Domain Generating Functions for Solving Constraint Satisfaction Problems
Dynamic Tabbing for Automatic Indentation with the Layout Rule
Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard, Springer-Verlag, 2003
A Partial Evaluator for the Untyped lambda-Calculus
The Bologna Optimal Higher-Order Machine
Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures
The essence of the Iterator pattern
Generating Action Compilers by Partial Evaluation
On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs
Language Implementation Patterns: Create your own Domain-Specific and General Programming Languages , by Terence Parr, Pragmatic Bookshelf, http://www.pragprog.com, ISBN 9781934356456
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM
Three Algorithms on Braun Trees
Gencel: a program generator for correct spreadsheets
How to prove decidability of equational theories with second-order computation analyser SOL
"Algorithms: A Functional Programming Approach" by Fethi Rabhi and Guy Lapalme, Addison-Wesley, 1999, ISBN 0-201-59604-0, xi + 235pp
Educational Pearl: A Nanopass framework for compiler education
Haskell 98 Libraries: Complex Numbers
Countdown: A case study in Origami programming
Purely Functional 1-2 Brother Trees
Power Series, Power Serious
Self-Interpretations in lambda Calculus
Folding left and right over Peano numbers
Composition of functions with accumulating parameters
Single Assignment C: efficient support for high-level array operations in a functional setting
Review: Practical Foundations for Programming Languages , by Robert Harper, Cambridge University Press, New York, December2012, English, ISBN-10: 1107029570, Hardcover, 487 pp
Integrating region memory management and tag-free generational garbage collection
Haskell 98: Declarations and Bindings
A run-time representation of scheme record types
Call-by-value and call-by-name: A simple proof of a classic theorem
Knuth-Morris-Pratt illustrated
Indexed containers
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
First-order unification by structural recursion
The Dynamic Compilation of Lazy Functional Programs
OCaml from the Very Beginning , by John Whitington, Coherent Press, 2013, £ 25.99, US $37.99. ISBN-10: 0957671105 (paperback), 204 pp
Semantics of Linear/Modal Lambda Calculus
What is the meaning of these constant interruptions?
Parallel dual-numbers reverse AD
Transparent Optimisation of Rewriting Combinators
What is a Purely Functional Language?
Prototyping a Parallel Vision System in Standard ML
Type Reconstruction for Type Classes
Monadic Parsing in Haskell
Typed dataspace actors
Type sharing constraints and undecidability
Type-safe pattern combinators
Lightweight family polymorphism
Runtime verification and validation of functional reactive systems
Parametricity, type equality, and higher-order polymorphism
Special Issue Dedicated to ICFP 2012: Editorial
Thunks and the lambda-Calculus
Generalizing generalized tries
Programming Erlang - Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X
Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof
The arrow calculus
A confluent lambda-calculus with a catch/throw mechanism
Interleaving data and effects
Normalization by evaluation for modal dependent type theory
Higher order symbolic execution for contract verification and refutation
MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware
A reflective functional language for hardware design and theorem proving
Cubical Agda: A dependently typed programming language with univalence and higher inductive types
Perfect trees and bit-reversal permutations
On one-pass CPS transformations
Generic Functional Programming with Types and Relations
Structured Operational Semantics of a Fragment of the Language Scheme
The recursive record semantics of objects revisited
Unfolding pointer algorithms
Teaching types with a cognitively effective worked example format
Type-checking injective pure type systems
Coordinating heterogeneous mobile sensing platforms for effectively monitoring a dispersed gas plume
Multithreaded architecture for multimedia processing
On-chip body posture detection for medical care applications using low-cost CMOS cameras
A time-dependent decision support system for multi-attribute decision-making
2D and 3D palmprint information, PCA and HMM for an improved person recognition performance
An ensemble-based method for the selection of instances in the multi-target regression problem
A multi-agent system for managing adverse weather situations on the road network
Attention-based hybrid convolutional-long short-term memory network for bridge pier hysteresis and backbone curves prediction
Fast and low cost prediction of extreme air pollution values with hybrid unsupervised learning
A hybrid framework for protein sequence clustering and classification using signature motif information
Global path planning of wheeled robots using multi-objective memetic algorithms
The Local Wavelet Transform: a memory-efficient, high-speed architecture optimized to a Region-Oriented Zero-Tree coder
Lightweight tracking-by-detection system for multiple pedestrian targets
Efficient blind image deconvolution using spectral non-Gaussianity
Cell-based shape reconstruction from incomplete silhouettes
Autonomic risk management for critical infrastructure protection
Automated ELF magnetic field stimulation of the human EEG activity
Diagnosing multiple faults in oil rig motor pumps using support vector machine classifier ensembles
Multi-agent system to monitor oceanic environments
Integrating learning into a hierarchical vehicle control system
An integrated semantic framework for designing context-aware Internet of Robotic Things systems
Fusion of neural networks with fuzzy logic and genetic algorithm
Mixed signal design watermarking for IP protection
Analyzing the influence of contrast in large-scale recognition of natural images
Combining classifiers with decision templates for automatic fault diagnosis of electrical submersible pumps
Extending engineering data model for web-based fuzzy information modeling
Two inertial models of X4-flyers dynamics, motion planning and control
Computer theory and digital image processing applied to brain activation recognition
Lightweight parametric design optimization for 4D printed parts
A negotiation protocol to improve long distance truck parking
The 17th International Conference on Systems, Signals and Image Processing (IWSSIP)
Computational models for image processing for shared-memory multiprocessors
Surface modeling using multi-view range and color images
A method for topological entity matching in the integration of heterogeneous CAD systems
Signal processing for slip and contact sensing and its application to a two-fingered robotic hand
An autonomic election algorithm based on emergence in natural systems
Superimposed RBF and B-spline parametric surface for reverse engineering applications
Enabling accurate measurement of camera distortions using dynamic continuous-tone patterns
Survey of modular ontology techniques and their applications in the biomedical domain
Write Right for ICAE
Learning ensembles of priority rules for online scheduling by hybrid evolutionary algorithms
A reconfigurable concurrent function block model and its implementation in real-time Java
Multicriteria adaptive differential evolution for global numerical optimization
Aggressive Error Recovery for TCP over wireless links
Automated detection of vehicles with anomalous trajectories in traffic surveillance videos
Agent-based cloud workflow execution
A multi-agent system for supporting the prediction of protein structures
Identification of critical inspection samples among railroad wheels by similarity-based agglomerative clustering
A hybrid approach for brain image registration with local constraints
Editorial: A decade of ICAE
An integrated approach to bioprocess recipe design
Rule-based dependency models for security protocol analysis
Alignment-based surface patterns for factoid question answering systems
Assistive navigation of a robotic wheelchair using a multihierarchical model of the environment
High-energy noise attenuation of seismic data in the wavelet-transform domain
Network Flow Approach to Data Regeneration for Low Energy Embedded System Synthesis