Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jacobs library [68 articles]

Nye artikler sendt til jacobs bibliotek.
  • On the Expressive Power of Programming Languages
    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 19 people and 1 group 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
    pp. 89-102.
    by Zhong Shao
    posted to multilang by jacob on 2007-01-05 18:51:27 as **
  • Assessing the overhead of ML exceptions by selective CPS transformation
    (1998)
    by J Kim, K Yi, O Danvy
    posted to compilers cps by jacob on 2006-11-03 22:51:50 as **
  • Interconnecting between CPS terms and non-CPS terms
    by J Kim, K Yi
    posted to compilers cps by jacob on 2006-11-03 22:51:25 as **
  • Safe Java Native Interface
    (March 2006)
    by Gang Tan, Andrew W Appel, Srimat Chakradhar, Anand Raghunathan, Srivaths Ravi, Daniel Wang
    posted to ffi java multilang by jacob on 2006-10-24 21:06:53 as **
  • Extending the Haskell foreign function interface with concurrency
    (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
  • On the difference between bridge rules and lifting axioms
    (2003)
    by Paulo Bouquet, Luciano Serafini
    posted to logic multilang by jacob on 2006-10-23 20:35:02 as **
  • Multilanguage Systems
    (1991)
    by Fausto Giunchiglia
    posted to logic multilang by jacob on 2006-10-23 19:57:57 as **
  • How to declare an imperative
    ACM Comput. Surv., Vol. 29, No. 3. (September 1997), pp. 240-263.
    by Philip Wadler
    posted to haskell imperative-functional-programming by jacob on 2006-10-23 17:04:57 as ** along with 2 people and 1 group rgb mmarcus pileWorks
  • Why no one uses functional languages
    SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27.
    by Philip Wadler
    posted to haskell applications by jacob on 2006-10-23 16:56:42 as ** along with 10 people and 6 groups samth twleung dherman hamish greenrd voigt yish robennals umbra ryanc NU-PRL mathgamespatterns SRG_at_UCD dtl vds-arg eni
  • Gradual Typing for Functional Languages
    (September 2006)
    by Jeremy G Siek, Walid Taha
    posted to hybrid-types type-safety by jacob on 2006-10-22 17:45:06 as ** along with 1 person and 1 group dherman NU-PRL
  • Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML
    (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
  • Optimising Embedded DSLs using Template Haskell
    by Sean Seefried
    posted to compilers dsel by jacob on 2006-10-22 17:35:15 as ** along with 3 people and 1 group dherman cedricboidin zednenem NU-PRL
  • Domain specific embedded compilers
    (1999), pp. 109-122.
    by Daan Leijen, Erik Meijer
    posted to compilers dsel by jacob on 2006-10-22 17:33:12 as ** along with 11 people and 2 groups sourada twleung dherman JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc jimburton dfisher NU-PRL Lambda the Ultimate
  • Compiling embedded languages
    J. Funct. Program., Vol. 13, No. 3. (May 2003), pp. 455-481.
    by Conal Elliott, Sigbj&\#248;rn Finne, Oege De Moor
    posted to compilers dsel by jacob on 2006-10-22 17:32:24 as ** along with 1 person surana
  • Active libraries and universal languages
    (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
    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
  • On Evaluation Contexts, Continuations, and the Rest of the Computation
    (January 2004)
    by Olivier Danvy
    posted to continuations by jacob on 2006-10-22 17:22:31 as ** along with 2 people and 1 group dherman bunge NU-PRL
  • Multi-paradigm Java-Prolog integration in tuProlog
    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
    (1999), pp. 200-215.
    by Claus Reinke
    posted to haskell multilang by jacob on 2006-10-22 07:28:13 as **
  • Functional Reactive Animation
    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
    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
    (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 3 people mmuecke SamB pedagand
  • Active Libraries and Universal Languages
    (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
    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 **
  • Program Mobile Robots in Scheme
    (1992), pp. 2681-2688.
    by Jonathan Rees, Bruce Donald
    posted to applications by jacob on 2006-10-20 22:05:03 as **
  • Building domain-specific embedded languages
    ACM Comput. Surv., Vol. 28, No. 4es. (1996)
    by Paul Hudak
    posted to dsel multilang by jacob on 2006-10-20 21:28:59 as ** along with 7 people hamish JeffreyPalmer cedricboidin brady mldechert mcclurmc RalfMitschke
  • Scripting COM components in Haskell
    (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
    (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
    (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
    (1999)
    by Manuel MT 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
    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
    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
    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
    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 read along with 1 person huitseeker
  • A framework for interoperability
    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 read
  • Multilanguage interoperability in distributed systems
    (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 read
  • A bisimulation for dynamic sealing
    Vol. 39, No. 1. (January 2004), pp. 161-172.
    by Eijiro Sumii, Benjamin C Pierce
    posted to bisimulation contextual-equivalence by jacob on 2006-05-05 15:05:55 as ** along with 1 person vkoutav
  • A bisimulation for type abstraction and recursion
    Vol. 40, No. 1. (January 2005), pp. 63-74.
    by Eijiro Sumii, Benjamin C Pierce
    posted to bisimulation contextual-equivalence by jacob on 2006-05-05 15:04:27 as **
  • Refocusing in Reduction Semantics
    by Olivier Danvy, Lasse R Nielsen
    posted to reduction-semantics by jacob on 2005-09-28 13:20:56 as read along with 1 person and 1 group dherman NU-PRL
  • The Meaning of Types --- From Intrinsic to Extrinsic Semantics
    (December 2000)
    by John C Reynolds
    posted to semantics type-safety by jacob on 2005-09-28 13:07:21 as **
  • Embedded Interpreters
    Journal of Functional Programming
    by Nick Benton
    posted to multilang by jacob on 2005-09-28 12:54:05 as read
  • A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)
    (1995), pp. 121-135.
    by PN Benton
    posted to logic by jacob on 2005-09-28 12:36:45 as **
  • Modular verification of concurrent assembly code with dynamic thread creation and termination
    (28 September 2005)
    by Xinyu
    posted to concurrency type-safety by jacob on 2005-09-28 09:33:00 as ***
  • Dynamic Typing in a Statically Typed Language
    ACM Transactions on Programming Languages and Systems, Vol. 13, No. 2. (April 1991), pp. 237-268.
    by Mart∈ Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
    posted to type-safety by jacob on 2005-08-08 22:15:28 as ** along with 9 people and 1 group twleung dherman tautologico oliverh amorkan lyongu hannes clausej cogumbreiro NU-PRL
  • Domain specific embedded compilers
    Vol. 35, No. 1. (January 1999), pp. 109-122.
    by Daan Leijen, Erik Meijer
    posted to dsl ffi by jacob on 2005-06-19 16:13:06 as *** along with 2 people hamish keigoi
  • An interoperable calculus for external object access
    Vol. 37, No. 9. (September 2002), pp. 60-71.
    by Atsushi Ohori, Kiyoshi Yamatodani
    posted to ffi by jacob on 2005-06-19 16:12:13 as ** along with 1 person water451
  • Calling hell from heaven and heaven from hell
    Vol. 34, No. 9. (September 1999), pp. 114-125.
    by Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon P Jones
    posted to ffi by jacob on 2005-06-19 16:11:18 as ***
  • Embedding an interpreted language using higher-order functions and types
    (2003), pp. 6-14.
    by Norman Ramsey
    posted to ffi by jacob on 2005-06-19 16:10:22 as *** along with 1 person JeffreyPalmer
  • Interlanguage Working Without Tears: Blending SML with Java
    (1999), pp. 126-137.
    by Nick Benton, Andrew Kennedy
    posted to ffi by jacob on 2005-06-19 16:07:55 as *** along with 1 person JeffreyPalmer
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/jacob

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.