Oleg Kiselyov

Sci. Comput. Program., January, 2024

Complete Stream Fusion for Software-Defined Radio.

[BibT_eX]

[DOI]

Tomoaki Kobayashi

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

MetaOCaml: Ten Years Later - System Description.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

2023

Free Variable as Effect, in Practice.

[BibT_eX]

[DOI]

CoRR, 2023

MetaOCaml Theory and Implementation.

[BibT_eX]

[DOI]

CoRR, 2023

Towards a Theory of Anaphoric Binding in Event Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic and Engineering of Natural Language Semantics, 2023

2022

Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181).

[BibT_eX]

[DOI]

Peter Braam

Jeremy Gibbons

NII Shonan Meet. Rep., 2022

Demo: New View on Plasma Fractals - From the High Point of Array Languages.

[BibT_eX]

[DOI]

Toshihiro Nakayama

CoRR, 2022

Highest-performance Stream Processing.

[BibT_eX]

[DOI]

CoRR, 2022

Do Mutable Variables Have Reference Types?

[BibT_eX]

[DOI]

CoRR, 2022

let (rec) insertion without Effects, Lights or Magic.

[BibT_eX]

[DOI]

Jeremy Yallop

CoRR, 2022

Events and Relative Clauses.

[BibT_eX]

[DOI]

Haruki Watanabe

Proceedings of the Logic and Engineering of Natural Language Semantics, 2022

Generating C - System Description.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021

Not by equations alone: Reasoning with extensible effects.

[BibT_eX]

[DOI]

Shin-Cheng Mu

J. Funct. Program., 2021

QNP Textual Entailment with Polynomial Event Semantics.

[BibT_eX]

[DOI]

Haruki Watanabe

Proceedings of the New Frontiers in Artificial Intelligence, 2021

2020

Many more predecessors: A representation workout.

[BibT_eX]

[DOI]

J. Funct. Program., 2020

Polynomial Event Semantics: Negation - Negation.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2020

Session Types Without Sophistry - System Description.

[BibT_eX]

[DOI]

Keigo Imai

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143).

[BibT_eX]

[DOI]

Anil Madhavapeddy

K. C. Sivaramakrishnan

Suresh Jagannathan

NII Shonan Meet. Rep., 2019

Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2019

Generating mutually recursive definitions.

[BibT_eX]

[DOI]

Jeremy Yallop

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

Lambek Grammars as Second-Order Abstract Categorial Grammars.

[BibT_eX]

[DOI]

Yuya Hoshino

Proceedings of the New Frontiers in Artificial Intelligence, 2019

2018

Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2018

Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14).

[BibT_eX]

[DOI]

Aggelos Biboudis

Martin Odersky

NII Shonan Meet. Rep., 2018

Preface: Functional and Logic Programming (FLOPS 2016).

[BibT_eX]

[DOI]

Andy King

Sci. Comput. Program., 2018

Reconciling Abstraction with High Performance: A MetaOCaml approach.

[BibT_eX]

[DOI]

Found. Trends Program. Lang., 2018

Polynomial Event Semantics - Non-Montagovian Proper Treatment of Quantifiers.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2018

\lambda λ to SKI, Semantically - Declarative Pearl.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

Effects Without Monads: Non-determinism - Back to the Meta Language.

[BibT_eX]

[DOI]

Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2017

Stream fusion, to completeness.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Language-integrated query with ordering, grouping and outer joins (poster paper).

[BibT_eX]

[DOI]

Tatsuya Katsushima

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Transformational Semantics on a Tree Bank.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2017

Sound and Efficient Language-Integrated Query - Maintaining the ORDER.

[BibT_eX]

[DOI]

Tatsuya Katsushima

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Eff Directly in OCaml.

[BibT_eX]

[DOI]

K. C. Sivaramakrishnan

Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

Finally, safely-extensible and efficient language-integrated query.

[BibT_eX]

[DOI]

Kenichi Suzuki

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Staging beyond terms: prospects and challenges.

[BibT_eX]

[DOI]

Jun Inoue

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Non-canonical Coordination in the Transformational Approach.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2016

Parameterized extensible effects and session types (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells.

[BibT_eX]

[DOI]

Yuto Sudo

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

Probabilistic Programming Language and its Incremental Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Combinators for impure yet hygienic code generation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators.

[BibT_eX]

[DOI]

Ikuo Kobori

Proceedings of the Workshop on Continuations, 2015

Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing.

[BibT_eX]

[DOI]

Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2015

Applicative Abstract Categorial Grammars in Full Swing.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2015

Applicative Abstract Categorial Grammar.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Natural Language and Computer Science, 2015

Freer monads, more extensible effects.

[BibT_eX]

[DOI]

Hiromi Ishii

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7).

[BibT_eX]

[DOI]

Jeremy G. Siek

NII Shonan Meet. Rep., 2014

Canonical Constituents and Non-canonical Coordination - Simple Categorial Grammar Account.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2014

Reflection without remorse: revealing a hidden sequence to speed up monadic reflection.

[BibT_eX]

[DOI]

Atze van der Ploeg

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

The Design and Implementation of BER MetaOCaml - System Description.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

Shonan challenge for generative programming: short position paper.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Extensible effects: an alternative to monad transformers.

[BibT_eX]

[DOI]

Cameron Swords

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Delimited control in OCaml, abstractly and concretely.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2012

Editorial PEPM2012.

[BibT_eX]

[DOI]

Julia Lawall

Simon J. Thompson

High. Order Symb. Comput., 2012

Iteratees.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Lazy v. Yield: Incremental, Linear Pretty-Printing.

[BibT_eX]

[DOI]

Simon L. Peyton Jones

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code.

[BibT_eX]

[DOI]

Jacques Carette

Sci. Comput. Program., 2011

Functional un|unparsing.

[BibT_eX]

[DOI]

Kenichi Asai

High. Order Symb. Comput., 2011

Shifting the stage - Staging with delimited control.

[BibT_eX]

[DOI]

J. Funct. Program., 2011

Purely functional lazy nondeterministic programming.

[BibT_eX]

[DOI]

Sebastian Fischer

J. Funct. Program., 2011

Implementing Explicit and Finding Implicit Sharing in Embedded DSLs

[BibT_eX]

[DOI]

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

2010

Typed Tagless Final Interpreters.

[BibT_eX]

[DOI]

Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Delimited Control in OCaml, Abstractly and Concretely: System Description.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

Fun with Type Functions.

[BibT_eX]

[DOI]

Simon Peyton Jones

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.

[BibT_eX]

[DOI]

Jacques Carette

J. Funct. Program., 2009

Monolingual Probabilistic Programming Using Generalized Coroutines.

[BibT_eX]

[DOI]

Proceedings of the UAI 2009, 2009

Purely functional lazy non-deterministic programming.

[BibT_eX]

[DOI]

Sebastian Fischer

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Embedded Probabilistic Programming.

[BibT_eX]

[DOI]

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

Closing the stage: from staged code to typed closures.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Comparing libraries for generic programming in haskell.

[BibT_eX]

[DOI]

Bruno C. d. S. Oliveira

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Lightweight monadic regions.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

A Substructural Type System for Delimited Continuations.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

Delimited Continuations in Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2007

Finally Tagless, Partially Evaluated.

[BibT_eX]

[DOI]

Jacques Carette

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

In search of a program generator to implement generic transformations for high-performance computing.

[BibT_eX]

[DOI]

Albert Cohen

Sébastien Donadio

María Jesús Garzarán

Christoph Armin Herrmann

David A. Padua

Sci. Comput. Program., 2006

Lightweight Static Capabilities.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages meets Program Verification, 2006

A monadic approach for avoiding code duplication when staging memoized functions.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Delimited dynamic binding.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Soutei, a Logic-Based Trust-Management System.

[BibT_eX]

[DOI]

Andrew Pimlott

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005

Implementing Metcast in Scheme.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2005

Haskell's overlooked object system

[BibT_eX]

[DOI]

Ralf Lämmel

CoRR, 2005

Backtracking, interleaving, and terminating monad transformers: (functional pearl).

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

The reasoned schemer.

[BibT_eX]

Daniel P. Friedman

William E. Byrd

MIT Press, ISBN: 978-0-262-56214-0, 2005

2004

Relating FFTW and Split-Radix.

[BibT_eX]

[DOI]

Walid Taha

Proceedings of the Embedded Software and Systems, First International Conference, 2004

Functional pearl: implicit configurations-or, type classes reflect the values of types.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Strongly typed heterogeneous collections.

[BibT_eX]

[DOI]

Ralf Lämmel

Keean Schupke

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

A methodology for generating verified combinatorial circuits.

[BibT_eX]

[DOI]

Kedar N. Swadi

Walid Taha

Proceedings of the EMSOFT 2004, 2004

2003

Subclassing errors, OOP, and practically checkable rules to prevent them

[BibT_eX]

[DOI]

CoRR, 2003

SXSLT: Manipulation Language for XML.

[BibT_eX]

[DOI]

Shriram Krishnamurthi

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002

SXML specification.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2002

A Better XML Parser through Functional Programming.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Macros That Compose: Systematic Macro Programming.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2002

2001

Secure Counting: counting members of a subset without revealing their identities

[BibT_eX]

[DOI]

CoRR, 2001

Type Arithmetics: Computation based on the theory of types

[BibT_eX]

[DOI]

CoRR, 2001

2000

Why C++ is not very fit for GUI programming

[BibT_eX]

[DOI]

CoRR, 2000

A network file system over HTTP: remote access and modification of files and "files"

[BibT_eX]

[DOI]

CoRR, 2000

Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification

[BibT_eX]

[DOI]

Paul Fisher

CoRR, 2000

1999

Comment on "On the Application of a Popular Notation to Semantics" and reply from the Autor.

[BibT_eX]

[DOI]

Richard J. Botting

ACM SIGPLAN Notices, 1999

A network file system over HTTP: remote access and modification of files and <i>files</i>.

[BibT_eX]

[DOI]

Proceedings of the FREENIX Track: 1999 USENIX Annual Technical Conference, 1999

1998

A Lazy CGI Namespace in Scheme.

[BibT_eX]

[DOI]

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

A Delegation Language to Request Weather Products and a Scheme of Its Interpretation.

[BibT_eX]

[DOI]

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Functional Style in C++: Closures, Late Binding, and Lambda Abstractions.

[BibT_eX]

[DOI]

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

LAND*: an AND with local bindings, a <i>guarded</i> LET* special form.

[BibT_eX]

[DOI]

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1996

Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification.

[BibT_eX]

[DOI]

Paul Fisher

Proceedings of the 6th Data Compression Conference (DCC '96), Snowbird, Utah, USA, March 31, 1996

1994

Self-Similarity of the Multiresolutional Image/Video Decomposition: Smart Expansion as Compression of Still and Moving Pictures.

[BibT_eX]

[DOI]