Group: Lambda the Ultimate - library [120 articles]

Recent papers posted by members of the Lambda the Ultimate group

	Martin-Löf's Type Theory [My Copy] In The Handbook of Logic in Computer Science, Vol. 5 (October 2000) by B. Nordström, K. Petersson, J. M. Smith posted to type-theory logic dependent-types by jimburton to the group Lambda the Ultimate on 2009-03-28 23:10:08 as along with 1 person and 1 group kontakte functional programming
	Algorithm + Strategy = Parallelism [My Copy] Journal of Functional Programming, Vol. 8 (1998), pp. 23-60. by P. W. Trinder, K. Hammond, -W, S. L, Peyton Jones posted to strategies parallelism algorithms by namin to the group Lambda the Ultimate on 2008-09-16 05:06:02 as along with 1 person and 1 group jweslley functional programming
	[duplicate] DSL Implementation in MetaOCaml, Template Haskell, and C++ [My Copy] (2004) by K. Czarnecki, J. O'Donnel, J. Striegnitz, W. Taha posted to dsel dsl haskell ocaml programming by jimburton to the group Lambda the Ultimate on 2008-08-31 20:36:13 as along with 1 person draganigajic
	A Categorial Manifesto [My Copy] posted to category-theory by namin to the group Lambda the Ultimate on 2008-08-08 16:37:31 as along with 3 people msakai darinm draganigajic
	Parameterized Unit Tests [My Copy] by Nikolai Tillmann, Wolfram Schulte, Wolfgang Grieskamp posted to programming testing types by namin to the group Lambda the Ultimate on 2008-08-08 02:52:32 as
	High-level views on low-level representations [My Copy] SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 168-179. by Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie posted to algebraic-types bit-level functional-programming system-programming by pedagand to the group Lambda the Ultimate on 2008-08-02 13:06:54 as along with 2 people draganigajic hannes
	A language for mathematical language management [My Copy] (9 May 2008) by Steven Kieffer, Jeremy Avigad, Harvey Friedman posted to language mathematics by pedagand to the group Lambda the Ultimate on 2008-07-24 21:00:01 as along with 2 people jrw amatos
	Introduction to Linear Logic [My Copy] by Patrick Lincoln posted to logic by namin to the group Lambda the Ultimate on 2008-07-23 22:54:45 as along with 1 person draganigajic
	Scrap your type applications [My Copy] by Barry Jay, Simon Peyton-Jones posted to logic programming types by namin to the group Lambda the Ultimate on 2008-07-17 22:55:02 as along with 1 person and 1 group draganigajic functional programming
	Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml [My Copy] (2008) posted to exceptions expressivity fsharp functional library ocaml programming by namin to the group Lambda the Ultimate on 2008-07-14 23:06:39 as along with 1 person and 1 group pedagand functional programming
	Evolutionary Programming and Gradual Typing in ECMAScript 4 (Tutorial) [My Copy] by Lars T. Hansen posted to javascript types by namin to the group Lambda the Ultimate on 2008-07-08 23:14:51 as along with 1 person draganigajic
	Towards a Type System for Analyzing JavaScript Programs [My Copy] Programming Languages and Systems (2005), pp. 408-422. by Peter Thiemann posted to compilers javascript types by namin to the group Lambda the Ultimate on 2008-07-08 23:12:17 as along with 1 person keigoi
	Towards Type Inference for JavaScript [My Copy] by C. Anderson, P. Giannini, S. Drossopoulou posted to compilers javascript types by namin to the group Lambda the Ultimate on 2008-07-08 23:10:26 as
	The Design and Implementation of Typed Scheme [My Copy] by S. Tobin-Hochstadt, M. Felleisen posted to compilers scheme types 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 [My Copy] by Dale Miller posted to data-structures expressivity functional logic programming 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 [My Copy] 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 interpreter optimization by pedagand to the group Lambda the Ultimate on 2008-07-06 09:36:33 as along with 4 people fgeller stshed nominolo Inopia
	Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences [My Copy] Compiler Construction (2003), pp. 170-184. by Etienne Gagnon, Laurie Hendren posted to interpreter optimization by pedagand to the group Lambda the Ultimate on 2008-07-06 09:30:31 as
	YETI: a graduallY extensible trace interpreter [My Copy] In VEE '07: Proceedings of the 3rd international conference on Virtual execution environments (2007), pp. 83-93. by Mathew Zaleski, Angela D. Brown, Kevin Stoodley posted to interpreter optimization 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 [My Copy] ACM Trans. Program. Lang. Syst., Vol. 29, No. 6. (October 2007) by Kevin Casey, Anton M. Ertl, David Gregg posted to interpreter optimization 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 [My Copy] In CGO '05: Proceedings of the international symposium on Code generation and optimization (2005), pp. 15-26. by Marc Berndl, Benjamin Vitale, Mathew Zaleski, Angela D. Brown posted to interpreter optimization by pedagand to the group Lambda the Ultimate on 2008-07-06 09:24:53 as along with 3 people ReiOdaira nikomatsakis yasuhito
	The structure and performance of interpreters [My Copy] SIGPLAN Not., Vol. 31, No. 9. (September 1996), pp. 150-159. by Theodore H. Romer, Dennis Lee, Geoffrey M. Voelker, et al.Alec Wolman, Wayne A. Wong, Jean-Loup Baer, Brian N. Bershad, Henry M. Levy posted to interpreter optimization by pedagand to the group Lambda the Ultimate on 2008-07-06 09:23:53 as
	A Nanopass Framework for Compiler Education [My Copy] by R. K. Dybvig, D. Sarkar, O. Waddell posted to compilers functional pearl programming scheme by namin to the group Lambda the Ultimate on 2008-07-05 17:09:17 as along with 1 person and 1 group draganigajic functional programming
	A Sketch of Complete Type Inference for Functional Programming [My Copy] by M. Widera posted to functional programming types 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 [My Copy] (2005) by M. Sheeran posted to functional hardware haskell meng programming vhdl 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 [My Copy] by N. Ramsey posted to dsel dsl fsharp haskell ocaml programming by namin to the group Lambda the Ultimate on 2008-06-27 23:47:15 as along with 1 person and 1 group draganigajic functional programming
	Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation [My Copy] by G. Huet posted to data-structures fsharp haskell ocaml programming zipper 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 NU-PRL functional programming
	Sets in Types, Types in Sets [My Copy] by Benjamin Werner posted to calculus-of-construction coq zfc 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 [My Copy] In Formal Description of Programming Concepts (1991), pp. 431-507. by Luca Cardelli edited by E. J. Neuhold, M. Paul posted to functional-programming type-theory by jimburton to the group Lambda the Ultimate on 2008-06-09 11:19:47 as along with 5 people and 1 group draganigajic rgrig amorkan lyongu ds SRG_at_UCD
	A Syntactic Approach to Type Soundness [My Copy] Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94. by Andrew K. Wright, Matthias Felleisen posted to programming-language-design semantics type-theory by mcclurmc to the group Lambda the Ultimate on 2008-05-23 18:05:04 as along with 11 people and 1 group vkp greenrd tautologico bunge tov KarlKlose glaubersp mvermaat gkuan sclv nominolo SRG_at_UCD
	The Role of Programming in the Formulation of Ideas [My Copy] (2002) by G. J. Sussman, J. Wisdom posted to ai programming theory by namin to the group Lambda the Ultimate on 2008-05-20 21:42:04 as
	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) [My Copy] (April 2008) by O. Kiselyov, W. E. Byrd, D. P. Friedman, C. Shan posted to declarative dsel dsl haskell kanren logic programming prolog by namin to the group Lambda the Ultimate on 2008-05-18 08:03:17 as along with 1 person draganigajic
	Monads for functional programming [My Copy] In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993) by Philip Wadler edited by ~broy posted to category-theory haskell monads programming theory by namin to the group Lambda the Ultimate on 2008-05-18 07:33:32 as along with 22 people and 3 groups jimburton jweslley draganigajic JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins hayeah SamB mmarcus americovargas pedagand SRL SIG functional programming
	Types as abstract interpretations [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 316-331. by Patrick Cousot posted to abstract-interpretation homepage types by pedagand to the group Lambda the Ultimate on 2008-05-16 15:37:58 as along with 2 people draganigajic KarlKlose
	$My PDF l&\#252;th_02_composing.pdf$ Composing monads using coproducts [My Copy] In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 133-144. by Christoph L&\#252;th, Neil Ghani posted to coproducts monads 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 [My Copy] SIGOPS Oper. Syst. Rev., Vol. 42, No. 4. (May 2008), pp. 219-232. by Karthik Pattabiraman, Vinod Grover, Benjamin G. Zorn posted to critical-data fault-tolerant homepage memory unsafe-language 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 [My Copy] J. Mach. Learn. Res., Vol. 7 (2006), pp. 429-454. by Emanuel Kitzelmann, Ute Schmid posted to homepage synthesis by pedagand to the group Lambda the Ultimate on 2008-05-11 11:53:36 as
	A Sound Semantics for OCaml light [My Copy] Programming Languages and Systems (2008), pp. 1-15. by Scott Owens posted to caml formal-proof hol homepage ott 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 [My Copy] by Matthew Hertz, Yi Feng, Emery D. Berger posted to garbage-collection homepage performance virtual-memory 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 [My Copy] by Matthew Hertz, Emery D. Berger posted to garbage-collection homepage performance 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 [My Copy] Software and Systems Modeling (SoSyM), Vol. 6, No. 1. (March 2007), pp. 83-110. by Misra, Jayadev, Cook, William posted to concurrent distributed homepage process-calculus 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 [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 147-157. by Yukiyoshi Kameyama, Oleg Kiselyov, Chung-Chieh Shan posted to code-generation hompage staged 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 [My Copy] In OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2006), pp. 21-36. by Nathaniel Nystrom, Xin Qi, Andrew C. Myers posted to expression-problem homepage scalable-software-composition by pedagand to the group Lambda the Ultimate on 2008-05-11 11:36:16 as
	Termination checking with types [My Copy] (2002) by A. Abel posted to homepage termination types by pedagand to the group Lambda the Ultimate on 2008-05-11 11:34:51 as along with 5 people and 1 group shimomura msakai greenrd zednenem ardt SRG_at_UCD
	Call-by-value Termination in the Untyped Lambda-calculus [My Copy] (17 Mar 2008) by Neil D. Jones, Nina Bohr posted to call-by-value homepage termination by pedagand to the group Lambda the Ultimate on 2008-05-11 11:34:06 as
	Engineering formal metatheory [My Copy] 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 formal homepage metatheory poplmark by pedagand to the group Lambda the Ultimate on 2008-05-11 11:32:55 as
	The design and implementation of typed scheme [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 395-406. by Sam Tobin-Hochstadt, Matthias Felleisen posted to homepage scheme types by pedagand to the group Lambda the Ultimate on 2008-05-11 11:31:30 as along with 1 person robotact
	Recycling continuations [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 251-260. by Jonathan Sobel, Daniel P. Friedman posted to continuation homepage memory-management 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 [My Copy] (1995) by R. Berlucci, M. Abadi, P. Curien posted to homepage system-f system-r 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 [My Copy] SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65. by Adam Chlipala posted to certified compiler homepage lambda-calculus types by pedagand to the group Lambda the Ultimate on 2008-05-11 11:25:28 as along with 2 people mvermaat jkominek
	Relating complexity and precision in control flow analysis [My Copy] In ICFP '07: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming (2007), pp. 85-96. by David Van Horn, Harry G. Mairson posted to computational-complexity control-flow-analysis homepage by pedagand to the group Lambda the Ultimate on 2008-05-11 11:23:56 as

Note: You may cite this page as: http://www.citeulike.org/group/4254/library

Result page: 1 2 3 Next

RIS BibTeX RTF/PDF

Group: Lambda the Ultimate - library [120 articles]

Tag selected articles

Group Tags