Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Imperative functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Building interpreters by composing monads
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular Denotational Semantics for Compiler Construction
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Modular monadic semantics and compilation
Modular monadic semantics and compilation
Prototyping real-time vision systems: an experiment in DSL design
Proceedings of the 21st international conference on Software engineering
Jargons for domain engineering
Proceedings of the 2nd conference on Domain-specific languages
Composing contracts: an adventure in financial engineering (functional pearl)
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Tagless staged interpreters for typed languages
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Using smgn for rapid protoptyping of small domain-specific languages
ACM SIGPLAN Notices
Specification languages in algebraic compilers
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Program Generation, Termination, and Binding-Time Analysis
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Generative Programming and Active Libraries
Selected Papers from the International Seminar on Generic Programming
Observable Sharing for Functional Circuit Description
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
FVision: A Declarative Language for Visual Tracking
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Formal software engineering for computational modelling
Nordic Journal of Computing
Journal of Functional Programming
Mapping a domain specific language to a platform FPGA
Proceedings of the 41st annual Design Automation Conference
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation
Proceedings of the 2004 ACM symposium on Document engineering
Dynamic applications from the ground up
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Termination analysis and specialization-point insertion in offline partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type-directed weaving of aspects for higher-order functional languages
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Language embeddings that preserve staging and safety
Nordic Journal of Computing
Dealing with crosscutting concerns in a model based software production method
Proceedings of the 2006 international workshop on Early aspects at ICSE
Challenges in the compilation of a domain specific language for dynamic programming
Proceedings of the 2006 ACM symposium on Applied computing
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Evolving an embedded domain-specific language in Java
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Jargons for domain engineering
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Confessions of a used programming language salesman
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Extending Lustre with Timeout Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamically linked domain-specific extensions for advice languages
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages
Experience report: playing the DSL card
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Embedded typesafe domain specific languages for Java
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Structured data represented in Ruby syntax
ACC'08 Proceedings of the WSEAS International Conference on Applied Computing Conference
Specifying Strategies for Exercises
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Structured data representation using Ruby syntax
WSEAS Transactions on Information Science and Applications
Untangling crosscutting concerns in domain-specific languages with domain-specific join points
Proceedings of the 4th workshop on Domain-specific aspect languages
Commercial uses: Going functional on exotic trades
Journal of Functional Programming
Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains
Software Language Engineering
Nettle: A Language for Configuring Routing Networks
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
A DSL for Explaining Probabilistic Reasoning
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Embedded Probabilistic Programming
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Purely functional lazy non-deterministic programming
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
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
Journal of Functional Programming
The design of a task parallel library
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Silver: An extensible attribute grammar system
Science of Computer Programming
“little language” project modules
Journal of Functional Programming
An architecture for composing embedded domain-specific languages
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Science of Computer Programming
Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
A DSL toolkit for deferring architectural decisions in DSL-based software design
Information and Software Technology
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Generating quantifiers and negation to explain homework testing
IUNLPBEA '10 Proceedings of the NAACL HLT 2010 Fifth Workshop on Innovative Use of NLP for Building Educational Applications
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Domain-specific language integration with compile-time parser generator library
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Designing language-oriented programming languages
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Experiences with an icon-like expression evaluation system
Proceedings of the 6th symposium on Dynamic languages
Domain-specific software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Fundamenta Informaticae - Dependently Typed Programming
Embedding languages without breaking tools
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
A controlled language for the specification of contracts
CNL'09 Proceedings of the 2009 conference on Controlled natural language
EriLex: an embedded domain specific language generator
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Accelerating Haskell array codes with multicore GPUs
Proceedings of the sixth workshop on Declarative aspects of multicore programming
IDRIS ---: systems programming meets full dependent types
Proceedings of the 5th ACM workshop on Programming languages meets program verification
A domain-specific approach to heterogeneous parallelism
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
Science of Computer Programming
Managing variability in business processes: an aspect-oriented approach
Proceedings of the 2011 international workshop on Early aspects
Incremental concrete syntax for embedded languages
Proceedings of the 2011 ACM Symposium on Applied Computing
Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures
On designing safe and flexible embedded DSLs with Java 5
Science of Computer Programming
CUDA-level performance with python-level productivity for Gaussian mixture model applications
HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
Code reuse with language oriented programming
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Making standard ML a practical database programming language
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
A language specification tool for model-based parsing
IDEAL'11 Proceedings of the 12th international conference on Intelligent data engineering and automated learning
Cedalion: a language for language oriented programming
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Policy languages require the same composition mechanisms as programming languages
Proceedings of the 1st International Workshop on Free Composition
Language boxes: bending the host language with modular language changes
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Declarative scripting in haskell
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Domain-specific metamodelling languages for software language engineering
SLE'09 Proceedings of the Second international conference on Software Language Engineering
A comparison of program generation with aspect-oriented programming
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Purely functional lazy nondeterministic programming
Journal of Functional Programming - Dedicated to ICFP 2009
Journal of Functional Programming - Dedicated to ICFP 2009
Portable parallel performance from sequential, productive, embedded domain-specific languages
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Green-Marl: a DSL for easy and efficient graph analysis
ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
Bossa nova: introducing modularity into the bossa domain-specific language
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Proceedings of the seventh workshop on Domain-Specific Aspect Languages
On the combination of domain specific modeling languages
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Resource-Safe systems programming with embedded domain specific languages
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
More dependent types for distributed arrays
Higher-Order and Symbolic Computation
Finding common ground: choose, assert, and assume
Proceedings of the 2012 Workshop on Dynamic Analysis
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
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
Controlled natural language in a game for legal assistance
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Typed tagless final interpreters
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
A real-time virtual machine implementation for small microcontrollers
Innovations in Systems and Software Engineering
Attribute grammar-based language extensions for java
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Higher-Order and Symbolic Computation
Learning-Based test programming for programmers
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Abstract syntax graphs for domain specific languages
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Incremental concrete syntax for embedded languages with support for separate compilation
Science of Computer Programming
Extending Erlang by utilising RefactorErl
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Polymorphic identifiers: uniform resource access in objective-smalltalk
Proceedings of the 9th symposium on Dynamic languages
Forge: generating a high performance DSL implementation from a declarative specification
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Efficient high-level abstractions for web programming
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
Unipycation: a case study in cross-language tracing
Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
ACM Transactions on Mathematical Software (TOMS)
SESSL: A domain-specific language for simulation experiments
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Hi-index | 0.00 |