Calling hell from heaven and heaven from hell

Authors:
Sigbjorn Finne;Daan Leijen;Erik Meijer;Simon Peyton Jones
Affiliations:
University of Glasgow;University of Utrecht;University of Utrecht;Microsoft Research Cambridge
Venue:
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Year:
1999

Citing 0
Cited 34

Domain specific embedded compilers

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
An interoperable calculus for external object access

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
The marriage of effects and monads

ACM Transactions on Computational Logic (TOCL)
A foundation for embedded languages

ACM Transactions on Programming Languages and Systems (TOPLAS)
Frappé: Functional Reactive Programming in Java

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Compiling Embedded Programs to Byte Code

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
A High-Level Generic Interface to External Programming Languages for ECLiPSe

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Scripting .NET Using Mondrian

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
Porting the Clean Object I/O Library to Haskell

IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Normalization by evaluation with typed abstract syntax

Journal of Functional Programming
Red-black trees with types

Journal of Functional Programming
wxHaskell: a portable and concise GUI library for haskell

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Checking type safety of foreign function calls

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Visual haskell: a full-featured haskell development environment

Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Multi-paradigm Java-Prolog integration in tuProlog

Science of Computer Programming
Postmodern prospects for conceptual modelling

APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
An extensible dynamically-typed hierarchy of exceptions

Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Phantom types and subtyping

Journal of Functional Programming
Operational semantics for multi-language programs

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
mGTK: an SML binding of Gtk+

ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Domain specific embedded compilers

DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Refined typechecking with Stardust

PLPV '07 Proceedings of the 2007 workshop on Programming languages meets program verification
Ilea: inter-language analysis across java and c

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Confessions of a used programming language salesman

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Checking type safety of foreign function calls

ACM Transactions on Programming Languages and Systems (TOPLAS)
Operational semantics for multi-language programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Commercial uses: Going functional on exotic trades

Journal of Functional Programming
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages

Electronic Notes in Theoretical Computer Science (ENTCS)
Practical Datatype Specializations with Phantom Types and Recursion Schemes

Electronic Notes in Theoretical Computer Science (ENTCS)
Interfacing haskell with object-oriented languages

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Polymorphic type inference for the JNI

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Implementing a Java JIT compiler in Haskell: case study

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools

Quantified Score

Hi-index	0.00

Visualization

Abstract

The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our programs as software components, then it is easy to integrate them into applications written in other languages.In earlier work we described a preliminary integration of Haskell with Microsoft's Component Object Model (COM), focusing on how Haskell can create and invoke COM objects. This paper develops that work, concentrating on the mechanisms that support externally-callable Haskell functions, and the encapsulation of Haskell programs as COM objects.