At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...
Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'10 Special issue of Higher-Order and ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...