Group: Lambda the Ultimate - with tag functional-programming [22 articles] Export

Recent papers posted by members of the Lambda the Ultimate group with tag functional-programming

	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
	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
	Monadic Parsing in Haskell [My Copy] Journal of Functional Programming, Vol. 8, No. 4. (1998) by Graham Hutton, Erik Meijer posted to compilers functional-programming haskell monads parsers by namin to the group Lambda the Ultimate on 2008-04-04 10:44:30 as along with 7 people draganigajic jrw zednenem damaru msakai bunge cognominal
	Essentials of programming languages [My Copy] (1992) by Daniel P. Friedman, Christopher T. Haynes, Mitchell Wand posted to continuations functional-programming getting-started interpreters scheme by mcclurmc to the group Lambda the Ultimate on 2008-03-05 17:48:30 as
	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
	The Zipper [My Copy] Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554. by Gerard Huet posted to datastructures functional-pearl functional-programming by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:14:29 as along with 10 people and 1 group jcreed robertjohnsimmons dimvar draganigajic yallop kowey jonathlela pedagand namin sclv functional programming
	Call-by-value is dual to call-by-name [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 189-201. by Philip Wadler posted to functional-programming by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:13:17 as along with 3 people joker13 robennals msakai
	Generalizing generalized tries [My Copy] Journal of Functional Programming, Vol. 10, No. 4. (2000), pp. 327-351. by Ralf Hinze posted to functional-programming haskell by jimburton to the group Lambda the Ultimate on 2008-02-26 22:20:06 as along with 1 person americovargas
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted to functional-programming haskell by jimburton to the group Lambda the Ultimate on 2008-02-26 22:19:37 as along with 10 people and 2 groups draganigajic twleung dherman greenrd cedricboidin msakai bonotake tov calvins BMeph NU-PRL SRG_at_UCD
	Phantom types [My Copy] (2003) by J. Cheney, R. Hinze posted to functional-programming haskell type-theory by jimburton to the group Lambda the Ultimate on 2008-02-26 22:17:39 as along with 3 people draganigajic keigoi tov
	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
	Total Functional Programming [My Copy] Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768. by D. A. Turner posted to functional-programming haskell by jimburton to the group Lambda the Ultimate on 2008-02-26 22:16:49 as along with 3 people pedagand mstone robotact
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted to functional-programming by jimburton to the group Lambda the Ultimate on 2008-02-26 22:16:26 as along with 31 people and 3 groups ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus namin dvgb jkominek pedagand SRL SRG_at_UCD complogic
	Faking it: Simulating dependent types in Haskell [My Copy] Journal of Functional Programming, Vol. 12, No. 5. (2002), pp. 375-392. by C. Mcbride posted to dependent-types functional-programming haskell by jimburton to the group Lambda the Ultimate on 2008-02-26 22:15:46 as
	Why dependent types matter [My Copy] SIGPLAN Notices, Vol. 41, No. 1. (2006), pp. 1-1. by J. Mckinna posted to dependent-types functional-programming by jimburton to the group Lambda the Ultimate on 2008-02-26 22:15:13 as along with 2 people draganigajic pedagand
	Languages of the future [My Copy] SIGPLAN Notices, Vol. 39, No. 12. (2004), pp. 119-132. by T. Sheard posted to dependent-types functional-programming by jimburton to the group Lambda the Ultimate on 2008-02-26 22:14:03 as along with 1 person draganigajic
	Combining programming with theorem proving [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 66-77. by Chiyan Chen, Hongwei Xi posted to dependent-types functional-programming by jimburton to the group Lambda the Ultimate on 2008-02-26 22:13:32 as along with 1 person jsiek
	Constructive Mathematics and Computer Programming [My Copy] Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518. by P. Martin-Lof posted to dependent-types functional-programming by jimburton to the group Lambda the Ultimate on 2008-02-26 22:13:10 as along with 4 people ansobol jrw Scis0000002 Constructivity
	An Introduction to Generalized Type Systems [My Copy] Journal of Functional Programming, Vol. 1, No. 2. (April 1991), pp. 125-154. by Henk Barendregt posted to dependent-types functional-programming type-theory by jimburton to the group Lambda the Ultimate on 2008-02-26 22:12:20 as along with 1 person draganigajic
	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
	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
	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

Note: You may cite this page as: http://www.citeulike.org/group/4254/tag/functional-programming

haskell	148
types	82
monads	62
language-haskell	46
lambda-calculus	36
polymorphism	29
type-theory	26
program-transformation	24
dependent-types	23
logical-relations	18
side-effects	18
category-theory	17
compilers	17
free-theorems	17
lazy-evaluation	17
ml	17
optimization	17
parametricity	17
programming	17
type-classes	17
denotational-semantics	16
generic-programming	16
concurrency	14
lecture-cs-252r	14
deforestation	13
programming-language	13
laziness	12
seq	12
accumulating-parameters	11
strict-evaluation	11
call-by-name	10
dsel	10
operational-semantics	10
rank-2	10
selective-strictness	9
tree-transducers	9
verification	9
arrows	8
continuations	8
functional-reactive	8
scheme	8
shortcut-deforestation	8
applications	7
call-by-need	7
call-by-value	7
coq	7
hdl	7
lava	7
logic-design	7
attribute-grammars	6
embedded-systems	6
interpreters	6
logic	6
ocaml	6
operating-systems	6
pcf	6
circular-programs	5
dsl	5
exceptions	5
hardcopy	5
higher-order-abstract-syntax	5
lisp	5
parallel-programming	5
type-inference	5
typeclasses	5
algebra-of-programming	4
algorithm	4
algorithms	4
binding	4
compiler	4
data-structures	4
datastructures	4
fold	4
functional-dependencies	4
generic	4
generics	4
ghc	4
higher-order-functions	4
incremental	4
induction-proofs	4
multiple-traversals	4
objects	4
oop	4
pattern-matching	4
programming-languages	4
project-master-thesis	4
recursion	4
submit-incremental	4
theorem-provers	4
theorem-proving	4
tupling	4
adaptive	3
coinduction	3
combinator	3
common-lisp	3
epigram	3
higher-order	3
literature-study	3
pure	3
query-optimization	3

Group: Lambda the Ultimate - with tag functional-programming [22 articles] Export

Related Tags