Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014)
June 4 (Wed) - 6 (Fri), 2014Kanazawa, Japan
FLOPS 2014 Accepted Papers
How many numbers contains a lambda-term?
Dynamic Programming via Thinning and Incrementalization
Faustine: a Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description -
POSIX Regular Expression Parsing with Derivatives
Using big-step and small-step semantics in Maude to perform declarative debugging
Generating Constrained Random Data with Uniform Distribution
Generic Programming with Multiple Parameters
Type Soundness and Race Freedom for Mezzo
PrologCheck - property-based testing in Prolog
AC-KBO Revisited
The Design and Implementation of BER MetaOCaml:System Description
Linear Sized Types in the Calculus of Constructions
On Cross-Stage Persistence in Multi-Stage Programming
A New Formalization of Subtyping to Match Subclasses to Subtypes
Lightweight higher-kinded polymorphism
Constraint Logic Programming for Hedges: a Semantic Reconstruction
Proving Correctness of Compilers using Structured Graphs
Type-Based Amortized Resource Analysis with Integers and Arrays
Semantics for Prolog with Cut - Revisited
Well-structured pushdown system: Case of Dense Timed Pushdown Automata
Guided Type Debugging
flops2014
