ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Functional reactive robotics: an exercise in principled integration of domain-specific languages
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Proceedings of the 24th International Conference on Software Engineering
Functional reactive programming, continued
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Polytypic data conversion programs
Science of Computer Programming
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
The CONTINUE Server (or, How I Administered PADL 2002 and 2003)
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
Functional automatic differentiation with dirac impulses
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A typed representation for HTML and XML documents in Haskell
Journal of Functional Programming
Automatically Restructuring Programs for the Web
Automated Software Engineering
wxHaskell: a portable and concise GUI library for haskell
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Type-safe, self inspecting code
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Journal of Functional Programming
Higher-Order and Symbolic Computation
An embedded domain-specific language for type-safe server-side web scripting
ACM Transactions on Internet Technology (TOIT)
ACM SIGGRAPH 2005 Electronic Art and Animation Catalog
Continuations from generalized stack inspection
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
There and back again: arrows for invertible programming
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A monadic approach for avoiding code duplication when staging memoized functions
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Programming monads operationally with Unimo
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
MetaOCaml server pages: web publishing as staged computation
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Structuring quantum effects: superoperators as arrows
Mathematical Structures in Computer Science
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Tangible functional programming
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
iTasks: executable specifications of interactive work flow systems for the web
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Plugging a Space Leak with an Arrow
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementation and use of the PLT scheme Web server
Higher-Order and Symbolic Computation
Applicative programming with effects
Journal of Functional Programming
Comonadic Notions of Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
FLUX: functional updates for XML
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Flask: staged functional programming for sensor networks
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
A library for light-weight information-flow security in haskell
Proceedings of the first ACM SIGPLAN symposium on Haskell
An Introduction to iTasks: Defining Interactive Work Flows for the Web
Central European Functional Programming School
Typed transformations of typed abstract syntax
Proceedings of the 4th international workshop on Types in language design and implementation
Secure compilation of a multi-tier web language
Proceedings of the 4th international workshop on Types in language design and implementation
Opis: reliable distributed systems in OCaml
Proceedings of the 4th international workshop on Types in language design and implementation
The Essence of Form Abstraction
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell
Proceedings of the 2009 ACM symposium on Applied Computing
Categorical semantics for arrows
Journal of Functional Programming
The Arrow Calculus as a Quantum Programming Language
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
A Haskell Hosted DSL for Writing Transformation Systems
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
A Groupoid of Isomorphic Data Transformations
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Safe functional reactive programming through dependent types
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Causal commutative arrows and their optimization
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Automatically RESTful web applications: marking modular serializable continuations
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Experience report: ocsigen, a web programming framework
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Directing JavaScript with arrows
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Workflow representation and runtime based on lazy functional streams
Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science
Arrows, like Monads, are Monoids
Electronic Notes in Theoretical Computer Science (ENTCS)
Web Verification: Perspective and Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Functional Programming
Arrows for secure information flow
Theoretical Computer Science
ESOP'03 Proceedings of the 12th European conference on Programming
Switched-On Yampa: declarative programming of modular synthesizers
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Coalgebraic components in a many-sorted microcosm
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
An iTask case study: a conference management system
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Categorifying Computations into Components via Arrows as Profunctors
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed Transformations of Typed Grammars: The Left Corner Transform
Electronic Notes in Theoretical Computer Science (ENTCS)
Invertible syntax descriptions: unifying parsing and pretty printing
Proceedings of the third ACM Haskell symposium on Haskell
Hereditarily finite representations of natural numbers and self-delimiting codes
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
The two-state solution: native and serializable continuations accord
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Gradual refinement: blending pattern matching with data abstraction
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Monad transformers as monoid transformers
Theoretical Computer Science
Information flow enforcement in monadic libraries
Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation
Cartesian effect categories are Freyd-categories
Journal of Symbolic Computation
Quantum Circuits: From a Network to a One-Way Model
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Parallel Quantum Computing Using Transactional Memory
Electronic Notes in Theoretical Computer Science (ENTCS)
Combinators for message-passing in Haskell
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Nettle: taking the sting out of programming network routers
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
Electronic Notes in Theoretical Computer Science (ENTCS)
What is a Categorical Model of Arrows?
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Functional Programming
Traces for coalgebraic components
Mathematical Structures in Computer Science
Ludics and web: another reading of standard operations
Ludics, dialogue and interaction
Extending monads with pattern matching
Proceedings of the 4th ACM symposium on Haskell
Flexible dynamic information flow control in Haskell
Proceedings of the 4th ACM symposium on Haskell
SMLtoJs: hosting a standard ML compiler in a web browser
Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients
The essence of dataflow programming
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
iData for the world wide web – programming interconnected web forms
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Higher-order functional reactive programming in bounded space
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
Towards frabjous: a two-level system for functional reactive agent-based epidemic simulation
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Journal of Functional Programming - Dedicated to ICFP 2009
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
GEC: a toolkit for generic rapid prototyping of type safe interactive applications
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
HPorter: using arrows to compose parallel processes
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Monads need not be endofunctors
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Embedding dynamic dataflow in a call-by-value language
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Virtualizing real-world objects in FRP
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
Process-aware continuation management in web applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Reagents: expressing and composing fine-grained concurrency
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Correct looping arrows from cyclic terms
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Dynamic symbolic computation for domain-specific language implementation
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Avalanche: a fine-grained flow graph model for irregular applications on distributed-memory systems
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Wormholes: introducing effects to FRP
Proceedings of the 2012 Haskell Symposium
Layout-sensitive language extensibility with SugarHaskell
Proceedings of the 2012 Haskell Symposium
Constructing applicative functors
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Functional semantics of parsing actions, and left recursion elimination as continuation passing
Proceedings of the 14th symposium on Principles and practice of declarative programming
Categorical views on computations on trees
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Fixing idioms: a recursion primitive for applicative DSLs
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Grammar fragments fly first-class
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Causality for free!: parametricity implies causality for functional reactive programs
PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification
The sequential semantics of producer effect systems
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-Order processes, functions, and sessions: a monadic integration
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Feel different on the Java platform: the star programming language
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
A survey on reactive programming
ACM Computing Surveys (CSUR)
Monadic functional reactive programming
Proceedings of the 2013 ACM SIGPLAN symposium on Haskell
Science of Computer Programming
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |