Group: Lambda the Ultimate - library 120 articles Export

	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
	Reusable Monadic Semantics of Object Oriented Programming Languages [My Copy] by Labra J. E. Gayo, Cueva J. M. Lovelle, Luengo M. C. Diez, Cernuda posted to monads oop semantics by mcclurmc to the group Lambda the Ultimate on 2008-04-28 15:13:28 as along with 1 person oliverh
	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
	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
	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
	A Theory of Objects [My Copy] (1996) by Martin Abadi, Luca Cardelli posted to functional-programming oop type-theory by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:15:29 as along with 3 people draganigajic gugamar fheintz
	Well-typed programs can't be blamed [My Copy] Scheme Workshop In International Conference of Functional Programming (30 September 2007) by Philip Wadler, Robert B. Findler posted to type-theory by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:13:39 as along with 1 person pedagand
	Monadic Parser Combinators [My Copy] No. NOTTCS-TR-96-4. (1996) by Graham Hutton, Erik Meijer posted to compilers monads by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:12:29 as along with 8 people and 1 group puzza twleung eaubin JacquesC JeffreyPalmer jrw roi joelh NU-PRL
	Relating Categorical Semantics for Intuitionistic Linear Logic [My Copy] No. CSR-01-7. (2001) by Maria E. Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter posted to category-theory linear-logic by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:07:17 as along with 1 person vcvpaiva
	First-Class Phantom Types [My Copy] (2003) by James Cheney, Ralf Hinze posted to functional-programming haskell type-theory by jimburton to the group Lambda the Ultimate on 2008-02-26 22:17:16 as along with 2 people draganigajic jsiek
	Programming with Arrows [My Copy] Advanced Functional Programming (2005), pp. 73-129. by John Hughes posted to functional-programming monads by mcclurmc to the group Lambda the Ultimate on 2008-02-25 14:32:12 as along with 2 people draganigajic americovargas
	Linear types can change the world! [My Copy] In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359. by P. Wadler edited by M. Broy, C. Jones posted to linear-types type-theory by mcclurmc to the group Lambda the Ultimate on 2008-02-25 14:30:04 as along with 11 people and 1 group draganigajic dherman JacquesC hamish JeffreyPalmer rwtodd jrw tautologico bfraser robennals ds NU-PRL
	System F with type equality coercions [My Copy] In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 53-66. by Martin Sulzmann, Manuel M. T. Chakravarty, Simon P. Jones, Kevin Donnelly posted to lambda-calculus type-theory by mcclurmc to the group Lambda the Ultimate on 2008-02-22 15:05:22 as along with 2 people draganigajic jpbernardy
	A Tutorial on the Universality and Expressiveness of Fold [My Copy] Journal of Functional Programming, Vol. 9, No. 4. (1999), pp. 355-372. by Graham Hutton posted to functional-programming tutorial by mcclurmc to the group Lambda the Ultimate on 2008-02-22 15:04:39 as along with 4 people and 1 group rahul hayeah paper_jac americovargas SRL
	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 dependent-types logic type-theory 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
	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
	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
	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 2 people and 1 group dimvar miteshjain functional programming
	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 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
	Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming [My Copy] In TLDT03 (2003) by Ralf Lämmel, Simon P. Jones posted to haskell programming by namin to the group Lambda the Ultimate on 2008-04-11 04:53:52 as along with 4 people draganigajic jburnim lomeo bringert
	Total Functional Programming [My Copy] Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768. by D. A. Turner posted to programming theory by namin to the group Lambda the Ultimate on 2008-04-08 07:58:04 as along with 2 people draganigajic un_brice
	A Monadic Framework for Delimited Continuations [My Copy] Vol. 615 (June 2005) by Kent Dybvig, Simon P. Jones, Amr Sabry posted to continuations haskell scheme by mcclurmc to the group Lambda the Ultimate on 2008-03-07 17:44:30 as
	Epigram: Practical Programming with Dependent Types [My Copy] Advanced Functional Programming (2005), pp. 130-170. by Conor Mcbride posted to dependent-types type-theory by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:07:39 as along with 4 people Benja jimburton draganigajic pedagand
	A Categorical Analysis of Multi-Level Languages (Extended Abstract) [My Copy] (1998) by Zine E. Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard posted to category-theory semantics by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:06:47 as along with 1 person draganigajic
	Advanced Topics In Types And Programming Languages [My Copy] (19 November 2004) by Benjamin C. Pierce posted to dependent-types type-theory by jimburton to the group Lambda the Ultimate on 2008-02-26 22:26:59 as along with 8 people draganigajic sstrickl tautologico thsutton voigt lyongu msakai shimomura
	Foundations for structured programming with GADTs [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308. by Patricia Johann, Neil Ghani posted to categories haskell theory by hellige to the group Lambda the Ultimate on 2008-02-26 00:15:30 as along with 5 people talototo spl draganigajic msakai jimburton
	Lambda: The Ultimate Imperative [My Copy] (1976) by Guy L. Steele, Gerald J. Sussman posted to functional-programming getting-started lambda-calculus by mcclurmc to the group Lambda the Ultimate on 2008-02-21 15:27:42 as along with 8 people and 2 groups samth numata rahul Benja ajk tov brothers mbrentharp NU-PRL SRL
	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 algorithms parallelism strategies 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
	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
	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 2 people TKAB 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
	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 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
	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
	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

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

Result page: 1 2 3 Next

haskell	27
programming	24
functional-programming	22
homepage	22
type-theory	17
dependent-types	12
types	11
dsel	9
category-theory	8
monads	8
optimization	7
scheme	7
compilers	6
interpreter	6
logic	6
ocaml	6
semantics	6
fsharp	5
functional	5
lambda-calculus	5
theory	5
dsl	4
continuations	3
getting-started	3
javascript	3
programming-language-design	3
categories	2
concurrency	2
coq	2
curry-howard	2
data-structures	2
expressivity	2
garbage-collection	2
oop	2
parsers	2
performance	2
probability	2
program_verification	2
prolog	2
termination	2
abstract-interpretation	1
ai	1
algebraic-types	1
algorithms	1
bit-level	1
calculus-of-construction	1
call-by-value	1
caml	1
certified	1
code-generation	1
compiler	1
computational-complexity	1
concurrent	1
constructive-arithmetic	1
continuation	1
control-flow-analysis	1
coproducts	1
critical-data	1
datastructures	1
declarative	1
distributed	1
distributed-computing	1
distributed-programming	1
erlang	1
exceptions	1
expression-problem	1
fault-tolerant	1
formal	1
formal-proof	1
functional-pearl	1
generics	1
grid-computing	1
hardware	1
hol	1
hompage	1
impure-functional-language	1
interpreters	1
kanren	1
lambda-the-ultimate	1
language	1
library	1
linear-logic	1
linear-types	1
macros	1
mathematics	1
memory	1
memory-management	1
meng	1
metatheory	1
modules	1
ott	1
parallel	1
parallelism	1
pearl	1
peephole	1
pi-calculus	1
poplmark	1
process-calculus	1
proof-transformation	1
reasoned-schemer	1
register-allocation	1
scalable-software-composition	1
security	1
side-channel-attack	1
sml	1
staged	1
strategies	1
synthesis	1
system-f	1
system-programming	1
system-r	1
testing	1
tutorial	1
unsafe-language	1
vhdl	1
virtual-memory	1
zfc	1
zipper	1

Group: Lambda the Ultimate - library 120 articles Export

Group Tags