Geometric programming: a programming approach to geometric design
ACM Transactions on Graphics (TOG)
First-class synchronization barriers
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Constraints to stop higher-order deforestation
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reusable Ada libraries supporting infinite data structures
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
An introduction to Haskell with applications to digital signal processing
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
High-Level Server Side Web Scripting in Curry
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Component Libraries and Language Features
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Lightweight languages as software engineering tools
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Multi-paradigm declarative languages
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A relation algebraic semantics for a lazy functional logic language
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Customizing a functional programming language for web development
Computer Languages, Systems and Structures
QuickCheck: a lightweight tool for random testing of Haskell programs
ACM SIGPLAN Notices
Nondeterminism analysis of functional logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Xbase: implementing domain-specific languages for Java
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Realising software development as a lived experience
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Hi-index | 0.00 |