Tag multilang [25 articles] Export

Recent papers classified by the tag multilang.

	On the Expressive Power of Programming Languages [My Copy] In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen edited by N. Jones posted to contextual-equivalence expressiveness multilang semantics by jacob on 2007-03-04 03:14:07 as along with 21 people and 1 group samth pedagand dherman edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert jsiek dfisher fgeller jkominek NU-PRL
	Typed Common Intermediate Format [My Copy] pp. 89-102. by Zhong Shao posted to multilang by jacob on 2007-01-05 18:51:27 as
	Extending the Haskell foreign function interface with concurrency [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 22-32. by Simon Marlow, Simon P. Jones, Wolfgang Thaller posted to concurrency haskell multilang semantics by jacob on 2006-10-24 01:11:55 as along with 3 people croys wtribbey brecknell
	Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML [My Copy] In Proc. ACM Conf. on Functional Programming Languages and Computer Architecture ({FPCA}), La Jolla, California (1995) by Fritz Henglein, Jakob Rehof posted to multilang type-safety by jacob on 2006-10-22 17:44:16 as along with 1 person and 1 group dherman NU-PRL
	Active libraries and universal languages [My Copy] (2004) by Todd L. Veldhuizen posted to compilers dsel multilang by jacob on 2006-10-22 17:31:27 as along with 1 person surana
	Improving the static analysis of embedded languages via partial evaluation [My Copy] In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 16-27. by David Herman, Philippe Meunier posted to dsel multilang partial-evaluation static-analysis by jacob on 2006-10-22 17:28:21 as along with 9 people and 1 group samth dherman JacquesC hamish JeffreyPalmer dsilva andymaule ryanc KarlKlose NU-PRL
	Multi-paradigm Java-Prolog integration in tuProlog [My Copy] Science of Computer Programming, Vol. 57, No. 2. (August 2005), pp. 217-250. by Enrico Denti, Andrea Omicini, Alessandro Ricci posted to multilang by jacob on 2006-10-22 07:29:16 as along with 1 person riojulian
	Towards a Haskell/Java Connection [My Copy] In IFL '98: Selected Papers from the 10th International Workshop on 10th International Workshop (1999), pp. 200-215. by Claus Reinke posted to haskell multilang by jacob on 2006-10-22 07:28:13 as
	Functional Reactive Animation [My Copy] In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '97), Vol. 32(8) (1997), pp. 263-273. by Conal Elliott, Paul Hudak posted to dsel haskell multilang by jacob on 2006-10-21 04:43:52 as along with 1 person tautologico
	Haskore Music Notation - An Algebra of Music [My Copy] Journal of Functional Programming, Vol. 6, No. 3. (1996), pp. 465-483. by Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong posted to dsel haskell multilang by jacob on 2006-10-21 04:19:31 as
	Lava: hardware design in Haskell [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 174-184. by Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh posted to dsel haskell multilang by jacob on 2006-10-21 04:14:11 as along with 4 people draganigajic mmuecke SamB pedagand
	Active Libraries and Universal Languages [My Copy] (May 2004) by Todd L. Veldhuizen posted to dsel multilang semantics by jacob on 2006-10-21 00:22:49 as along with 3 people JeffreyPalmer aliguori ds
	Language embeddings that preserve staging and safety [My Copy] Nordic J. of Computing, Vol. 12, No. 2. (August 2005), pp. 189-198. by Todd L. Veldhuizen posted to multilang semantics by jacob on 2006-10-21 00:19:18 as
	Building domain-specific embedded languages [My Copy] ACM Comput. Surv., Vol. 28, No. 4es. (1996), 196. by Paul Hudak posted to dsel multilang by jacob on 2006-10-20 21:28:59 as along with 8 people cblock hamish JeffreyPalmer cedricboidin brady mldechert mcclurmc RalfMitschke
	Scripting COM components in Haskell [My Copy] In Fifth International Conference on Software Reuse (1998) by Simon P. Jones, Erik Meijer, Daan Leijen posted to haskell multilang by jacob on 2006-10-19 21:37:07 as
	Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell [My Copy] In Implementation of Functional Languages (1999), pp. 37-58. by Simon, Simon Marlow, Conal Elliott posted to garbage-collection haskell memory multilang by jacob on 2006-10-19 21:34:45 as along with 3 people and 1 group rgrig benchambers donniejones18 SRG_at_UCD
	Imperative Functional Programming [My Copy] In Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina (1993), pp. 71-84. by Simon P. Jones, Philip Wadler posted to haskell multilang by jacob on 2006-10-19 21:33:54 as along with 7 people and 1 group samth cedricboidin pintman lomeo pile jwm0123 glaubersp NU-PRL
	C -> HASKELL, or Yet Another Interfacing Tool [My Copy] In International Workshop on Implementation of Functional Languages (IFL) (1999) by Manuel M. T. Chakravarty posted to multilang by jacob on 2006-10-19 19:59:05 as
	From ML to Ada: Strongly-typed language interoperability via source translation [My Copy] by A. Tolmach, D. Oliva posted to multilang by jacob on 2006-10-19 19:51:26 as
	ML systems: A Proof Theory for Contexts [My Copy] by Luciano Serafini, Fausto Giunchiglia posted to logic multilang by jacob on 2006-09-28 17:19:47 as
	Multilanguage Hierarchical Logics or: How we can do Without Modal Logics [My Copy] Artificial Intelligence, Vol. 65, No. 1. (1994), pp. 29-70. by Fausto Giunchiglia, Luciano Serafini posted to logic multilang by jacob on 2006-09-28 17:13:36 as along with 1 person Scis0000002
	Syntactic type abstraction [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 22, No. 6. (2000), pp. 1037-1080. by Dan Grossman, Greg Morrisett, Steve Zdancewic posted to multilang by jacob on 2006-09-23 19:52:28 as
	A framework for interoperability [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 59, No. 1. (2001) by Kathleen Fisher, Riccardo Pucella, John H. Reppy posted to multilang by jacob on 2006-09-23 19:44:27 as along with 1 person network02
	Multilanguage interoperability in distributed systems [My Copy] In Proceedings of the~18th~International Conference on Software Engineering (1996), pp. 451-463. by Mark J. Maybee, Dennis H. Heimbigner, Leon J. Osterweil posted to multilang by jacob on 2006-09-23 19:19:26 as
	Embedded Interpreters [My Copy] Journal of Functional Programming by Nick Benton posted to multilang by jacob on 2005-09-28 12:54:05 as

Note: You may cite this page as: http://www.citeulike.org/tag/multilang

haskell	8
dsel	7
semantics	4
logic	2
compilers	1
concurrency	1
contextual-equivalence	1
expressiveness	1
garbage-collection	1
memory	1
partial-evaluation	1
static-analysis	1
type-safety	1

Tag multilang [25 articles] Export

Related Tags