新規登録 | ログイン | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: Lambda the Ultimate - library [113 articles]

グループ Lambda the Ultimate のメンバーが最近追加した論文の一覧
  • Introduction to Linear Logic
    by Patrick Lincoln
    posted to logic by namin to the group Lambda the Ultimate on 2008-07-23 22:54:45 as ****
  • Scrap your type applications
    by Barry Jay, Simon Peyton-Jones
    posted to types programming logic by namin to the group Lambda the Ultimate on 2008-07-17 22:55:02 as *** along with 1 group functional programming
  • Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml
    (2008)
    posted to programming ocaml library functional fsharp expressivity exceptions by namin to the group Lambda the Ultimate on 2008-07-14 23:06:39 as ** along with 1 group functional programming
  • Evolutionary Programming and Gradual Typing in ECMAScript 4 (Tutorial)
    by Lars T Hansen
    posted to types javascript by namin to the group Lambda the Ultimate on 2008-07-08 23:14:51 as *****
  • Towards a Type System for Analyzing JavaScript Programs
    Programming Languages and Systems (2005), pp. 408-422.
    by Peter Thiemann
    posted to types javascript compilers by namin to the group Lambda the Ultimate on 2008-07-08 23:12:17 as **
  • Towards Type Inference for JavaScript
    by C Anderson, P Giannini, S Drossopoulou
    posted to types javascript compilers by namin to the group Lambda the Ultimate on 2008-07-08 23:10:26 as **
  • The Design and Implementation of Typed Scheme
    by S Tobin-Hochstadt, M Felleisen
    posted to types scheme compilers by namin to the group Lambda the Ultimate on 2008-07-08 23:07:29 as *** along with 1 person and 1 group knopeace functional programming
  • Higher-Order Logic Programming
    by Dale Miller
    posted to programming logic functional expressivity data-structures by namin to the group Lambda the Ultimate on 2008-07-08 22:40:41 as ** along with 1 group functional programming
  • Virtual machine showdown: Stack versus registers
    ACM Trans. Archit. Code Optim., Vol. 4, No. 4. (January 2008), pp. 1-36.
    by Yunhe Shi, Kevin Casey, Anton M Ertl, David Gregg
    posted to optimization interpreter by pedagand to the group Lambda the Ultimate on 2008-07-06 09:36:33 as ** along with 2 people Inopia nominolo
  • Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences
    Compiler Construction (2003), pp. 170-184.
    by Etienne Gagnon, Laurie Hendren
    posted to optimization interpreter by pedagand to the group Lambda the Ultimate on 2008-07-06 09:30:31 as **
  • YETI: a graduallY extensible trace interpreter
    (2007), pp. 83-93.
    by Mathew Zaleski, Angela D Brown, Kevin Stoodley
    posted to optimization interpreter by pedagand to the group Lambda the Ultimate on 2008-07-06 09:28:08 as **
  • Optimizing indirect branch prediction accuracy in virtual machine interpreters
    ACM Trans. Program. Lang. Syst., Vol. 29, No. 6. (October 2007)
    by Kevin Casey, Anton M Ertl, David Gregg
    posted to optimization interpreter by pedagand to the group Lambda the Ultimate on 2008-07-06 09:25:36 as ** along with 1 person yasuhito
  • Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters
    (2005), pp. 15-26.
    by Marc Berndl, Benjamin Vitale, Mathew Zaleski, Angela D Brown
    posted to optimization interpreter by pedagand to the group Lambda the Ultimate on 2008-07-06 09:24:53 as ** along with 2 people yasuhito nikomatsakis
  • The structure and performance of interpreters
    SIGPLAN Not., Vol. 31, No. 9. (September 1996), pp. 150-159.
    by Theodore H Romer, Dennis Lee, Geoffrey M Voelker, Alec Wolman, Wayne A Wong, Jean-Loup Baer, Brian N Bershad, Henry M Levy
    posted to optimization interpreter by pedagand to the group Lambda the Ultimate on 2008-07-06 09:23:53 as **
  • A Nanopass Framework for Compiler Education
    by RK Dybvig, D Sarkar, O Waddell
    posted to scheme programming pearl functional compilers by namin to the group Lambda the Ultimate on 2008-07-05 17:09:17 as **** along with 1 group functional programming
  • A Sketch of Complete Type Inference for Functional Programming
    by M Widera
    posted to types programming functional by namin to the group Lambda the Ultimate on 2008-06-30 11:07:27 as ** along with 1 group functional programming
  • Hardware Design and Functional Programming: a Perfect Match
    (2005)
    by M Sheeran
    posted to vhdl programming meng haskell hardware functional by namin to the group Lambda the Ultimate on 2008-06-30 11:06:08 as *** along with 1 person and 1 group miteshjain functional programming
  • Embedding an Interpreted Language Using Higher-Order Functions and Types
    by N Ramsey
    posted to programming ocaml haskell fsharp dsl dsel by namin to the group Lambda the Ultimate on 2008-06-27 23:47:15 as **** along with 1 group functional programming
  • Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation
    by G Huet
    posted to zipper programming ocaml haskell fsharp data-structures by namin to the group Lambda the Ultimate on 2008-06-27 23:30:06 as **** along with 5 people and 2 groups dherman eaubin JacquesC zednenem EdwardKmett functional programming NU-PRL
  • Sets in Types, Types in Sets
    by Benjamin Werner
    posted to zfc coq calculus-of-construction by pedagand to the group Lambda the Ultimate on 2008-06-12 15:31:49 as ** along with 2 people and 1 group xiemaisi maggesi AS-IIS_ReadingGroup
  • Typeful Programming
    (1991), pp. 431-507.
    by Luca Cardelli
    edited by EJ Neuhold, M Paul
    posted to type-theory functional-programming by jimburton to the group Lambda the Ultimate on 2008-06-09 11:19:47 as *** along with 4 people and 1 group rgrig amorkan lyongu ds SRG_at_UCD
  • A Syntactic Approach to Type Soundness
    Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
    by Andrew K Wright, Matthias Felleisen
    posted to type-theory semantics programming-language-design by mcclurmc to the group Lambda the Ultimate on 2008-05-23 18:05:04 as read along with 11 people and 1 group nominolo sclv vkp greenrd tautologico bunge tov KarlKlose glaubersp mvermaat gkuan SRG_at_UCD
  • The Role of Programming in the Formulation of Ideas
    (2002)
    by GJ Sussman, J Wisdom
    posted to theory programming ai by namin to the group Lambda the Ultimate on 2008-05-20 21:42:04 as **
  • Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
    (April 2008)
    by O Kiselyov, WE Byrd, DP Friedman, C Shan
    posted to prolog programming logic kanren haskell dsl dsel declarative by namin to the group Lambda the Ultimate on 2008-05-18 08:03:17 as **
  • Monads for functional programming
    (1993)
    by Philip Wadler
    edited by ~broy
    posted to theory programming monads haskell category-theory by namin to the group Lambda the Ultimate on 2008-05-18 07:33:32 as ** along with 18 people and 3 groups JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins hayeah SamB mmarcus americovargas functional programming SRL SIG
  • Types as abstract interpretations
    (1997), pp. 316-331.
    by Patrick Cousot
    posted to types homepage abstract-interpretation by pedagand to the group Lambda the Ultimate on 2008-05-16 15:37:58 as ** along with 1 person KarlKlose
  • Composing monads using coproducts
    Vol. 37, No. 9. (September 2002), pp. 133-144.
    by Christoph L&\#252;th, Neil Ghani
    posted to monads coproducts by pedagand to the group Lambda the Ultimate on 2008-05-12 22:27:15 as ** along with 2 people and 1 group mstone rgb pileWorks
  • Samurai: protecting critical data in unsafe languages
    SIGOPS Oper. Syst. Rev., Vol. 42, No. 4. (May 2008), pp. 219-232.
    by Karthik Pattabiraman, Vinod Grover, Benjamin G Zorn
    posted to unsafe-language memory homepage fault-tolerant critical-data by pedagand to the group Lambda the Ultimate on 2008-05-11 11:56:14 as **
  • Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
    J. Mach. Learn. Res., Vol. 7 (2006), pp. 429-454.
    by Emanuel Kitzelmann, Ute Schmid
    posted to synthesis homepage by pedagand to the group Lambda the Ultimate on 2008-05-11 11:53:36 as **
  • A Sound Semantics for OCaml light
    Programming Languages and Systems (2008), pp. 1-15.
    by Scott Owens
    posted to ott homepage hol formal-proof caml by pedagand to the group Lambda the Ultimate on 2008-05-11 11:51:55 as *** along with 1 person marcinzalewski
  • Garbage Collection without Paging
    by Matthew Hertz, Yi Feng, Emery D Berger
    posted to virtual-memory performance homepage garbage-collection by pedagand to the group Lambda the Ultimate on 2008-05-11 11:49:25 as **
  • Quantifying the Performance of Garbage Collection vs. Explicit Memory Management
    by Matthew Hertz, Emery D Berger
    posted to performance homepage garbage-collection by pedagand to the group Lambda the Ultimate on 2008-05-11 11:47:48 as ** along with 1 person harshrc
  • Computation Orchestration: A Basis for Wide-area Computing
    Software and Systems Modeling (SoSyM), Vol. 6, No. 1. (March 2007), pp. 83-110.
    by Misra, Jayadev, Cook, William
    posted to process-calculus homepage distributed concurrent by pedagand to the group Lambda the Ultimate on 2008-05-11 11:43:14 as **
  • Closing the stage: from staged code to typed closures
    (2008), pp. 147-157.
    by Yukiyoshi Kameyama, Oleg Kiselyov, Chung-Chieh Shan
    posted to staged hompage code-generation by pedagand to the group Lambda the Ultimate on 2008-05-11 11:41:36 as ** along with 1 person nominolo
  • J&: nested intersection for scalable software composition
    (2006), pp. 21-36.
    by Nathaniel Nystrom, Xin Qi, Andrew C Myers
    posted to scalable-software-composition homepage expression-problem by pedagand to the group Lambda the Ultimate on 2008-05-11 11:36:16 as **
  • Termination checking with types
    (2002)
    by A Abel
    posted to types termination homepage by pedagand to the group Lambda the Ultimate on 2008-05-11 11:34:51 as ** along with 3 people and 1 group greenrd zednenem ardt SRG_at_UCD
  • Call-by-value Termination in the Untyped Lambda-calculus
    (17 Mar 2008)
    by Neil D Jones, Nina Bohr
    posted to termination homepage call-by-value by pedagand to the group Lambda the Ultimate on 2008-05-11 11:34:06 as **
  • Engineering formal metatheory
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 3-15.
    by Brian Aydemir, Arthur Charguéraud, Benjamin C Pierce, Randy Pollack, Stephanie Weirich
    posted to poplmark metatheory homepage formal by pedagand to the group Lambda the Ultimate on 2008-05-11 11:32:55 as **
  • The design and implementation of typed scheme
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 395-406.
    by Sam Tobin-Hochstadt, Matthias Felleisen
    posted to types scheme homepage by pedagand to the group Lambda the Ultimate on 2008-05-11 11:31:30 as ** along with 1 person robotact
  • Recycling continuations
    (1998), pp. 251-260.
    by Jonathan Sobel, Daniel P Friedman
    posted to memory-management homepage continuation by pedagand to the group Lambda the Ultimate on 2008-05-11 11:29:52 as **
  • A model for formal parametric polymorphism: A PER interpretation for System R
    (1995)
    by R Berlucci, M Abadi, P Curien
    posted to system-r system-f homepage by pedagand to the group Lambda the Ultimate on 2008-05-11 11:27:11 as **
  • A certified type-preserving compiler from lambda calculus to assembly language
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65.
    by Adam Chlipala
    posted to types lambda-calculus homepage compiler certified by pedagand to the group Lambda the Ultimate on 2008-05-11 11:25:28 as ** along with 2 people jkominek mvermaat
  • Relating complexity and precision in control flow analysis
    (2007), pp. 85-96.
    by David Van Horn, Harry G Mairson
    posted to homepage control-flow-analysis computational-complexity by pedagand to the group Lambda the Ultimate on 2008-05-11 11:23:56 as **
  • When is a functional program not a functional program?
    SIGPLAN Not., Vol. 34, No. 9. (September 1999), pp. 1-7.
    by John Longley
    posted to sml impure-functional-language homepage by pedagand to the group Lambda the Ultimate on 2008-05-11 11:21:11 as **
  • Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
    Functional and Logic Programming (2008), pp. 64-80.
    by Oleg Kiselyov, William Byrd, Daniel Friedman, Chung-Chieh Shan
    posted to reasoned-schemer prolog homepage constructive-arithmetic by pedagand to the group Lambda the Ultimate on 2008-05-11 11:17:45 as **
  • Register Allocation by Proof Transformation
    by Atsushi O Japan
    posted to register-allocation proof-transformation homepage by pedagand to the group Lambda the Ultimate on 2008-05-11 11:10:34 as **
  • Empowering Side-Channel Attacks
    No. 2001/037. (2001)
    by Josyula R Rao, Pankaj Rohatgi
    posted to side-channel-attack security lambda-the-ultimate homepage by pedagand to the group Lambda the Ultimate on 2008-05-11 11:05:51 as **
  • Automatic generation of peephole superoptimizers
    SIGPLAN Not., Vol. 41, No. 11. (November 2006), pp. 394-403.
    by Sorav Bansal, Alex Aiken
    posted to peephole optimization homepage by pedagand to the group Lambda the Ultimate on 2008-05-11 10:57:35 as **
  • Dryad: distributed data-parallel programs from sequential building blocks
    SIGOPS Oper. Syst. Rev., Vol. 41, No. 3. (June 2007), pp. 59-72.
    by Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly
    posted to parallel homepage grid-computing distributed-computing by pedagand to the group Lambda the Ultimate on 2008-05-11 10:53:13 as read along with 1 person kzk_mover
  • Reusable Monadic Semantics of Object Oriented Programming Languages
    by Labra JE Gayo, Cueva JM Lovelle, Luengo MC Diez, Cernuda
    posted to semantics oop monads by mcclurmc to the group Lambda the Ultimate on 2008-04-28 15:13:28 as ***** along with 1 person oliverh
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/group/4254

    Result page: 1 2 3 Next RIS BibTeX RSS
    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.