Imperative functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
COBRA fundamentals and programming
COBRA fundamentals and programming
Inside COM
Developing for Microsoft Agent
Developing for Microsoft Agent
Understanding any IDL - Lesson one: DCE and CORBA
SDNE '96 Proceedings of the 3rd Workshop on Services in Distributed and Networked Environments (SDNE '96)
Scripting COM Components in Haskell
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Microsoft and Yale conclude agreement to license technology for Haskell
ACM SIGPLAN Notices
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
IEEE Transactions on Software Engineering
On embedding a microarchitectural design language within Haskell
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Interlanguage working without tears: blending SML with Java
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Domain specific embedded compilers
Proceedings of the 2nd conference on Domain-specific languages
An interoperable calculus for external object access
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
MCORBA: A CORBA Binding for Mercury
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Client-Side Web Scripting with HaskellScript
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Frappé: Functional Reactive Programming in Java
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Using Abstract State Machines at Microsoft: A Case Study
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
An Interactive Approach to Profiling Parallel Functional Programs
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Towards a Haskell/Java Connection
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
MysterX: A Scheme Toolkit for Building Interactive Applications with COM
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
wxHaskell: a portable and concise GUI library for haskell
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Visual haskell: a full-featured haskell development environment
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Java JNI Bridge: A Framework for Mixed Native ISA Execution
Proceedings of the International Symposium on Code Generation and Optimization
Strongly typed memory areas programming systems-level data structures in a functional language
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Application-specific foreign-interface generation
Proceedings of the 5th international conference on Generative programming and component engineering
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Domain specific embedded compilers
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Confessions of a used programming language salesman
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Calling variadic functions from a strongly-typed language
Proceedings of the 2008 ACM SIGPLAN workshop on ML
Interfacing haskell with object-oriented languages
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
| Hi-index | 0.00 |
H/Direct is a foreign-language interface for the purely functional language Haskell. Rather than rely on host-language type signatures, H/Direct compiles Interface Definition Language (IDL) to Haskell stub code that marshals data across the interface. This approach allows Haskell to call both C and COM, and allows a Haskell component to be wrapped in a C or COM interface. IDL is a complex language and language mappings for IDL are usually described informally. In contrast, we provide a relatively formal and precise definition of the mapping between Haskell and IDL.