Interactive visual functional programming
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Functional programming, and where you can put it
ACM SIGPLAN Notices
Adding Traces to a Lazy Monadic Evaluator
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
A program transformation for debugging Haskell 98
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Software is discrete mathematics
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Bee: an integrated development environment for the Scheme programming language
Journal of Functional Programming
Programming graphical user interfaces with Scheme
Journal of Functional Programming
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
Journal of Functional Programming
A declarative debugger of incorrect answers for constraint functional-logic programs
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
MinCaml: a simple and efficient compiler for a minimal functional language
Proceedings of the 2005 workshop on Functional and declarative programming in education
Spreadsheet functional programming
Journal of Functional Programming
Analysis of the use of declarative languages for enhanced embedded system software development
Proceedings of the 20th annual conference on Integrated circuits and systems design
A lightweight interactive debugger for haskell
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks
Proceedings of the 5th international conference on Embedded networked sensor systems
Declarative Debugging of Membership Equational Logic Specifications
Concurrency, Graphs and Models
The mythical matched modules: overcoming the tyranny of inflexible software construction
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Transforming Haskell for tracing
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Introducing debugging capabilities to natural semantics
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Multi-language synchronization
ESOP'07 Proceedings of the 16th European conference on Programming
Multiscale not multicore: efficient heterogeneous cloud computing
Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference
Declarative debugging with buddha
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Formalizing the debugging process in haskell
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
| Hi-index | 0.01 |