Slideshow: functional presentations

No abstract is available for this paper.

• Publication year

  2004

• Venue

  ACM SIGPLAN International Conference on Functional Programming

• Publication date

  2004-09-19

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1016850.1016880
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Fostering Little Languages

  2004cited by this paper
• Creating animation for presentations

  2003cited by this paper
• Scalable Vector Graphics

  2003cited by this paper
• The cognitive style of PowerPoint

  2003cited by this paper
• DrScheme: a programming environment for Scheme

  2002cited by this paper
• This is Scribe !

  2002cited by this paper
• How to Design Programs: An Introduction to Computing and Programming

  2001cited by this paper
• Prosper

  1999cited by this paper
• Proper tail recursion and space efficiency

  1998cited by this paper
• Functional reactive animation

  1997cited by this paper
• DrScheme: A Pedagogic Programming Environment for Scheme

  1997cited by this paper
• A Special-Purpose Language for Picture-Drawing

  1997cited by this paper
• A User’s Manual for MetaPost

  1997cited by this paper
• Picture: A Simple Structured Graphics Model

  1995cited by this paper
• The Juno-2 Constraint-Based Drawing Editor

  1994cited by this paper
• PIC — A Graphics Language for Typesetting User Manual†

  1991cited by this paper
• Pic—a graphics language for typesetting

  1990cited by this paper
• The TeXbook

  1984cited by this paper
• Functional Geometry

  1982cited by this paper
• Debunking the “expensive procedure call” myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO

  1977cited by this paper
• and as an in

  year unknowninfluential reference
• FrTime: Functional Reactive Programming in PLT Scheme

  year unknowncited by this paper
• Computer Science Technical Report

  year unknowncited by this paper

• A Haskell Library for Adaptable Parsing Expression Grammars

  2025cites this paper
• Being Lazy When It Counts - Practical Constant-Time Memory Management for Functional Programming

  2024cites this paper
• Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems

  2024cites this paper
• GraalSP: Polyglot, efficient, and robust machine learning-based static profiler

  2024cites this paper
• The Fearless Journey [Draft]

  2024cites this paper
• This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs

  2023cites this paper
• Asynchronous Modal FRP

  2023cites this paper
• A Haskell Library for Adaptable Parsing Expression Grammars

  2023cites this paper
• A Lineage-Based Referencing DSL for Computer-Aided Design

  2023cites this paper
• The Beauty and Elegance of Functional Reactive Animation

  2023influential citation
• MulCS: Towards a Unified Deep Representation for Multilingual Code Search

  2023cites this paper
• The Essence of Reactivity

  2023influential citation
• Types that Change: The Extensible Type Design Pattern

  2023cites this paper
• Improving smart contract search by semantic and structural clustering for source codes

  2022cites this paper
• From Distributed Sensing to Virtual Sensors: a Domain-Specific Language for Reactive Centralized Edge-Fog-Cloud Computation

  2022cites this paper
• Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems

  2022influential citation
• Modal FRP for all: Functional reactive programming without space leaks in Haskell

  2022influential citation
• A Graph-Based Formal Semantics of Reactive Programming from First Principles

  2022cites this paper
• Boosting source code suggestion with self-supervised Transformer Gated Highway

  2022cites this paper
• Code Search: A Survey of Techniques for Finding Code

  2022influential citation
• Cross-Domain Deep Code Search with Meta Learning

  2022cites this paper
• Phrase2Set: Phrase-to-Set Machine Translation and Its Software Engineering Applications

  2022cites this paper
• Material Didático Interativo para a disciplina de Introdução à Programação de Computadores

  2021cites this paper
• Trampoline variables: a general method for state accumulation in reactive programming

  2021cites this paper
• The forgotten role of search queries in IR-based bug localization: an empirical study

  2021cites this paper
• Modular Compilation for a Hybrid Non-Causal Modelling Language

  2021cites this paper
• GrimoireLab: A toolset for software development analytics

  2021cites this paper
• GraphSearchNet: Enhancing GNNs via Capturing Global Dependencies for Semantic Code Search

  2021cites this paper
• TagNN: A Code Tag Generation Technology for Resource Retrieval from Open-Source Big Data

  2021cites this paper
• Siri, Write the Next Method

  2021cites this paper
• Nalanda: a socio-technical graph platform for building software analytics tools at enterprise scale

  2021cites this paper
• An Empirical Study on the Usage of Transformer Models for Code Completion

  2021cites this paper
• Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks

  2021cites this paper
• Semantic Mapping from SysML to FRP: to Enable Executable and Verifiable Systems Design

  2021cites this paper
• A New Search Paradigm for Natural Language Code Search

  2021cites this paper
• A Systematic Literature Review of Automated Query Reformulations in Source Code Search

  2021cites this paper
• Semantic Foundations for Deterministic Dataflow and Stream Processing

  2020cites this paper
• Diamonds are not forever: liveness in reactive programming with guarded recursion

  2020cites this paper
• AUSearch: Accurate API Usage Search in GitHub Repositories with Type Resolution

  2020cites this paper
• Search-by-example over SQL repositories using structural and intent-driven similarity

  2020cites this paper
• Scripted signal functions

  2020cites this paper
• Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications

  2020influential citation
• Runtime verification and validation of functional reactive systems

  2020influential citation
• Code to Comment “Translation”: Data, Metrics, Baselining & Evaluation

  2020cites this paper
• Causal Inductive Synthesis Corpus

  2020cites this paper
• The essence of live coding: change the program, keep the state!

  2020influential citation
• Smoothly Navigating between Functional Reactive Programming and Actors

  2020cites this paper
• Fault-tolerant functional reactive programming (extended version)

  2020influential citation
• The Implementation of Metagraph Agents Based on Functional Reactive Programming

  2020cites this paper
• An Empirical Study of Software Exceptions in the Field using Search Logs

  2020cites this paper
• DIVA: A Declarative and Reactive Language for in situ Visualization

  2020influential citation
• Mining Source Code for Component Reuse

  2020cites this paper
• Theoretical Background and State-of-the-Art

  2020cites this paper
• Transparent Synchronous Dataflow

  2019cites this paper
• Functional Reactive Programming, restated

  2019cites this paper
• GRASS: generic reactive application-specific scheduling

  2019cites this paper
• Transparent Synchronous Data ow

  2019cites this paper
• A lightweight push-pull mechanism for implicitly using signals in imperative programming

  2019cites this paper
• A Nano-Pattern Language for Java

  2019cites this paper
• Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks

  2019influential citation
• Declarative Specification of Information System Data Models and Business Logic

  2019cites this paper
• Mobile game programming in Haskell

  2019cites this paper
• Arrows for Parallel Computation

  2018cites this paper
• A Functional Approach to Hardware Software Co-Design

  2018cites this paper
• Bidirectional evaluation with direct manipulation

  2018cites this paper
• Distributed system development with ScalaLoci

  2018cites this paper
• [Research Paper] Semantics-Based Code Search Using Input/Output Examples

  2018cites this paper
• Retrieval on source code: a neural code search

  2018cites this paper
• Reactive programming experience with REScala

  2018cites this paper
• FaCoY – A Code-to-Code Search Engine

  2018cites this paper
• Task mapping and scheduling for network-on-chip based multi-core platform with transient faults

  2018cites this paper
• Harmonizing Signals and Events with a Lightweight Extension to Java

  2018cites this paper
• GHTraffic: A Dataset for Reproducible Research in Service-Oriented Computing

  2018cites this paper
• A Language for Large-Scale Collaboration in Economics: A Streamlined Computational Representation of Financial Models

  2018cites this paper
• The Example Guru: Suggesting Examples to Novice Programmers in an Artifact-Based Context

  2018cites this paper
• Pure Functional Epidemics: An Agent-Based Approach

  2018cites this paper
• Code variants and their retrieval using knowledge discovery based approaches

  2018cites this paper
• Statistical Translation of English Texts to API Code Templates

  2018cites this paper
• AsyncRFJ: an asynchronous approach to reactive object-oriented programming

  2018cites this paper
• THE MINISTRY OF SCIENCE AND HIGHER EDUCATION OF THE RUSSIAN FEDERATION

  2018cites this paper
• Mining Motivated Trends of Usage of Haskell Libraries

  2017cites this paper
• Boosting complete-code tool for partial program

  2017cites this paper
• Back to the future: time travel in FRP

  2017influential citation
• Versions A-1 . Version Filter A-2 . Version Selector Compiler GRAPA B . Type Resolver Version Candidates Partial Program AST AST with Type Bindings C . Ambiguity Resolver Context Version AST with Full Bindings

  2017cites this paper
• Faster coroutine pipelines

  2017cites this paper
• Funky Grooves: Declarative Programming of Full-Fledged Musical Applications

  2017influential citation
• Research on network programming language and policy conflicts for SDN

  2017cites this paper
• Web Intelligence and Artificial Intelligence

  2017cites this paper
• A Large-Scale Study on the Usage of Testing Patterns That Address Maintainability Attributes: Patterns for Ease of Modification, Diagnoses, and Comprehension

  2017cites this paper
• Understanding the impact of support for iteration on code search

  2017cites this paper
• Introduction of Sparkline as Snippet to Context Search Engine Result Page

  2017cites this paper
• Combining Word2Vec with Revised Vector Space Model for Better Code Retrieval

  2017cites this paper
• API usage pattern recommendation for software development

  2017cites this paper
• A search engine for finding and reusing architecturally significant code

  2017cites this paper
• Retrieving Self-Executable and Functionally Correct Code to Improve Source Code Search

  2017cites this paper
• What do developers search for on the web?

  2017cites this paper
• Supporting Asynchronous Interactive Visualization for Exploratory Data Analysis

  2017cites this paper
• Incremental Annotate-Generalize-Search Framework for Interactive Source Code Comprehension

  2017cites this paper
• Functional Reactive Programming ,

  2017cites this paper
• Mobile devices and computing cloud resources allocation for interactive applications

  2017cites this paper