A syntactic approach to program transformations
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Keep it clean: a unique approach to functional programming.
ACM SIGPLAN Notices
Term Graph Rewriting and Mobile Expressions in Functional Languages
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
A New Class of Functions for Abstract Interpretation
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Porting the Clean Object I/O Library to Haskell
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Journal of Functional Programming
A sound (and complete) model of contracts
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Theoretical Computer Science - Algebraic methods in language processing
Sound and complete models of contracts
Journal of Functional Programming
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
Strength Induction in a Haskell Program Verifier
Electronic Notes in Theoretical Computer Science (ENTCS)
Coercions in a polymorphic type system
Mathematical Structures in Computer Science
Teaching functional programming with soccer-fun
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Proving Properties of Lazy Functional Programs with Sparkle
Central European Functional Programming School
EClean - An Embedded Functional Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
When generic functions use dynamic values
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
ECOOP'07 Proceedings of the 2007 conference on Object-oriented technology
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler
Proceedings of the third ACM Haskell symposium on Haskell
Functional programming with C++ template metaprograms
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
Journal of Functional Programming
Space-efficient gradual typing
Higher-Order and Symbolic Computation
Lenient evaluation is neither strict nor lazy
Computer Languages
Wormholes: introducing effects to FRP
Proceedings of the 2012 Haskell Symposium
Superficially substructural types
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS
Fundamenta Informaticae
Hi-index | 0.00 |