Links

    Fuji International Symposium on Functional and Logic Programming (FLOPS)

    Publications by Topics
    [-]
    OR AND NOT 1

    algebra
    C++
    Haskell
    Java
    Meta-Environment
    Prolog
    SQL
    XML
    XML Schema
    abstract machine
    abstract syntax
    abstraction
    analysis
    architecture
    attribute grammars
    case study
    certification
    code generation
    compiler
    completeness
    consistency
    constraints
    context-aware
    contracts
    control systems
    data-flow
    data-flow language
    data-flow programming
    database
    debugging
    decompilation
    design
    discovery
    domain-specific language
    e-science
    embedded software
    equational proofs
    exceptions
    feature-oriented programming
    functional programming
    generic programming
    grammar
    graph-rewriting
    higher-order transformations
    incremental
    interpreter
    language design
    laziness
    logic
    logic programming
    meta programming
    meta-model
    meta-objects
    object-oriented programming
    optimization
    parallel programming
    parsing
    partial evaluation
    pattern matching
    polytypic
    polytypic programming
    principles
    program analysis
    program transformation
    programming
    programming languages
    proof assistant
    protocol
    refinement
    rewriting
    rewriting strategies
    rule-based
    rules
    search
    security
    semantics
    software component
    software components
    software contracts
    static analysis
    subject-oriented programming
    survey
    systematic-approach
    tagging
    term rewriting
    termination
    testing
    transformation
    transformation language
    transformation system
    translation
    traversal
    type checking
    type inference
    type system
    type theory

    Publications by Authors
    [+]
    [-]
    OR AND NOT 1

    Aart Middeldorp
    Adam Bakewell
    Akihiko Tozawa
    Akimasa Morihata
    Alexis Saurin
    Amadeo Casas
    Andreas Abel
    Andres Löh
    Andrew P. Tolmach
    Andrew Pimlott
    Andy King
    Anthony Discolo
    Antonio Becerra-Terón
    Antonio J. Fernández
    António Porto
    Armin Kühnemann
    Atsushi Ohori
    Atze Dijkstra
    Bart Demoen
    Benjamin Grégoire
    Benjamin Werner
    Bernard P. Serpette
    Boris Yakobowski
    Brigitte Pientka
    Bruno C. d. S. Oliveira
    C. R. Ramakrishnan
    Carlos A. Romero-Díaz
    Carlos Camarão
    Carsten Schürmann
    Christian Villamizar Lamus
    Christoph Beierle
    Chung-chieh Shan
    Claude Kirchner
    Colin Runciman
    Conor McBride
    César Ferri
    César Kunz
    Daniel Cabeza
    Daniel Ignatoff
    Daniel P. Friedman
    Daniel Seidel
    Danny De Schreye
    David Pichardie
    Didier Rémy
    Dominic A. Orchard
    Edgar F. A. Lederer
    Eijiro Sumii
    Elvira Albert
    Enno Ohlebusch
    Erik Johansson
    Ernie Johnson
    Eva Ullán
    Fairouz Kamareddine
    Fausto Spoto
    Fernando Sáenz-Pérez
    Florian Haftmann
    Francisco Bueno
    Francisco Javier López-Fraguas
    Frédéric Malésieux
    Ganesh Sittampalam
    Georg Moser
    George C. Necula
    Germán Vidal
    Gianluca Amato
    Gilles Barthe
    Ginés Moreno
    Giorgio Delzanno
    Giridhar Pemmasani
    Gopalan Nadathur
    Gregor Meyer
    Gregory H. Cooper
    Gregory J. Duck
    Guy L. Steele Jr.
    Hai-Feng Guo
    Hideo Bannai
    Hideto Kasuya
    Hideya Iwasaki
    Hideyuki Nakashima
    Hirofumi Yokouchi
    Hiroshi Ishikawa
    Hiroshi Unno
    Hugo Herbelin
    Hyun-il Lim
    Hélène Kirchner
    I. V. Ramakrishnan
    Ian Zerny
    Izumi Takeuti
    Jacob M. Howe
    Jacques Garrigue
    Jaime Sánchez-Hernández
    Jakob Grue Simonsen
    James Avery
    Jan Christiansen
    Jan-Georg Smaus
    Janis Voigtländer
    Javier Leach
    Javier Álvez
    Jean-Yves Marion
    Jeff Polakow
    Jeremy Wazny
    Jeroen Ketema
    Jesús Manuel Almendros-Jiménez
    Johan Jeuring
    Johan Munk
    Jost Berthold
    José Hernández-Orallo
    José Meseguer
    José Nuno Oliveira
    Juan Carlos González Moreno
    Juan José Moreno-Navarro
    Juan Rodríguez-Hortalá
    Julien Forest
    Julio Mariño
    Jérôme Siméon
    Kentaro Kikuchi
    Kevin Millikin
    Kim Marriott
    Kiminori Matsuzaki
    Kiyoshi Agusa
    Klaus Meer
    Koichi Takahashi
    Koji Kagawa
    Kokichi Futatsugi
    Konstantinos F. Sagonas
    Kwanghoon Choi
    Kwangkeun Yi
    Lasse R. Nielsen
    Laurent Théry
    Leslie De Koninck
    Lucília Figueiredo
    Lunjin Lu
    Luís Soares Barbosa
    M. José Ramírez-Quintana
    Makoto Tatsuta
    Manuel M. T. Chakravarty
    Manuel V. Hermenegildo
    Marco Bozzano
    Maria J. García de la Banda
    Maria Teresa Hortalá-González
    Marinus J. Plasmeijer
    Mario Rodríguez-Artalejo
    Martin Avanzini
    Martin Köhler
    Martin Sulzmann
    María Alpuente
    Masahiko Kawabe
    Masahiko Sakai
    Masahiko Sato
    Masahito Hasegawa
    Masako Takahashi
    Masami Hagiya
    Masato Takeichi
    Matthias Blume
    Maurizio Martelli
    Michael Gelfond
    Michael Hanus
    Michael Leuschel
    Miguel García-Díaz
    Mikael Pettersson
    Mircea Marin
    Mischa Dieterle
    Mitsuharu Yamamoto
    Mizuhito Ogawa
    Moreno Falaschi
    Morten Rhiger
    Mutsunori Banbara
    Nadia Nedjah
    Naoki Kobayashi
    Naoki Nishida
    Naoyuki Tamura
    Neil Ghani
    Nick Benton
    Nicolas Julien
    Nicolas Oury
    Nils Anders Danielsson
    Oege de Moor
    Oleg Kiselyov
    Olivier Danvy
    Olivier Ridoux
    Pablo Buiras
    Paqui Lucio
    Pascual Julián Iranzo
    Patrice Boizumault
    Patricia M. Hill
    Pedro López-García
    Peter Achten
    Peter Borovanský
    Peter Dybjer
    Peter J. Stuckey
    Peter Selinger
    Peter Thiemann
    Peter Van Roy
    Philip Wadler
    Pierre Deransart
    Pierre-Louis Curien
    Prasad Rao
    Rafael Caballero
    Rafael del Vado Vírseda
    Ralf Hinze
    Rawle Prince
    Rita Loogen
    Rob Nederpelt
    Robby Findler
    Robert Glück
    Romain Péchoux
    Romeo A. Dumitrescu
    S. Doaitse Swierstra
    Salvador Lucas
    Santiago Escobar
    Satnam Singh
    Satoshi Kobayashi
    Sebastian Fischer
    Sergei M. Abramov
    Sergio Antoy
    Shriram Krishnamurthi
    Simon L. Peyton Jones
    Simon Marlow
    Sofie Verbaeten
    Stefano Berardi
    Stephen-John Craig
    Susana Muñoz-Hernández
    Susana Nieva
    Taisook Han
    Taisuke Sato
    Takafumi Sakurai
    Takahiro Sato
    Takuo Watanabe
    Takuo Yonezawa
    Tarmo Uustalu
    Taro Suzuki
    Tetsuo Ida
    Thierry Coquand
    Thorsten Altenkirch
    Tim Harris
    Tobias Nipkow
    Tom Hirschowitz
    Tom Schrijvers
    Tomoya Tanjo
    Wolfgang Lux
    Yukiyoshi Kameyama
    runs on