Functional reactive programming from first principles
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
A musical approach to teaching design patterns
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Functional reactive programming, continued
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Producing reliable software: an experiment
Journal of Systems and Software
Frappé: Functional Reactive Programming in Java
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Heterogeneous Modeling Support for Embedded Systems Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Exploiting Punctuation Semantics in Continuous Data Streams
IEEE Transactions on Knowledge and Data Engineering
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
The risks and benefits of teaching purely functional programming in first year
Journal of Functional Programming
Haskell in Space: An interactive game as a functional programming exercise
Journal of Functional Programming
Journal of Functional Programming
The structure and interpretation of the computer science curriculum
Journal of Functional Programming
Journal of Functional Programming
Tutorial: lazy functional programming in Haskell
Proceedings of the 2nd annual conference on Mid-south college computing
Organizing Numerical Theories Using Axiomatic Type Classes
Journal of Automated Reasoning
Word puzzles in Haskell: interactive games for functional programming exercises
Proceedings of the 2005 workshop on Functional and declarative programming in education
The logic of demand in Haskell
Journal of Functional Programming
Empirical Software Engineering
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design of a simple functional programming language and environment for CS2
Journal of Computing Sciences in Colleges
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Lowering: a static optimization technique for transparent functional reactivity
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Support for Managing Design-Time Decisions
IEEE Transactions on Software Engineering
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Plugging a Space Leak with an Arrow
Electronic Notes in Theoretical Computer Science (ENTCS)
A robot in every classroom: robots and functional programming across the curriculum
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Journal of Functional Programming
A functional I/O system or, fun for freshman kids
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
ElixirFM: implementation of functional Arabic morphology
Semitic '07 Proceedings of the 2007 Workshop on Computational Approaches to Semitic Languages: Common Issues and Resources
Mathematical equations as executable models of mechanical systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
ChalkBoard: mapping functions to polygons
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Making teaching of programming learning-oriented and learner-directed
Proceedings of the 11th Koli Calling International Conference on Computing Education Research
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Virtualizing real-world objects in FRP
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Towards the formal specification and verification of maple programs
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Wormholes: introducing effects to FRP
Proceedings of the 2012 Haskell Symposium
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Programming mixed music in ReactiveML
Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design
Unifying functional and object-oriented programming with Scala
Communications of the ACM
Hi-index | 0.02 |