Материалы по частичным вычислениям и функциональному программированию

Subject: Материалы по частичным вычислениям и функциональному программированию
From: Sergei Romanenko (roman@integrum.ru)
Date: Wed May 19 2004 - 18:18:36 MSD

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Корныхин Евгени: "Re: Историко-архивные материалы по Рефалу и астичным вычисления"
• Previous message: Sergei Romanenko: "Материалы, связанные с матанализом и машинной аналитикой"

ed2k://|file|[Functional.Programming].Johnsson.-.Lambda.Lifting.-.Transformi
ng.Programs.to.Recursive.Equations.(1985).djvu|50518|B9438B27C6BFA1D8CA9A8C4
75CEC99BD|/

ed2k://|file|[Functional.Programming].Kharper.(Robert.Harper).-.Vvedenie.v.S
tandartnyj.ML.(1993)(ru).djvu|345998|DC6F0019D150C845E3CAB3238069D426|/

ed2k://|file|[Functional.Programming].Paulson.-.ML.for.the.Working.Programme
r.(2nd.ed,.1996).djvu|2953041|88DB7E9B965C5DAB153000F9034E87A5|/

ed2k://|file|[Functional.Programming].Turner.-.A.new.implementation.techniqu
e.for.applicative.languages.(1979).djvu|897387|86619D4C84E9E10AB59946AF950B1
00C|/

ed2k://|file|[Partial.Evaluation].Thiemann.-.Cogen.in.Six.Lines.ICFP-96.(199
6).djvu|95612|1289D7EE66C6BFAC355718781A1C637D|/

ed2k://|file|[Partial.Evaluation].Thiemann.-.Higher-Order.Code.Splicing.ESOP
-99.(1999).djvu|79085|9598E2E109DB3C419050FA834F4102EE|/

ed2k://|file|Hudak.-.Conception,.Evolution,.And.Application.Of.Functional.Pr
ogramming.Languages.(1989).djvu|413552|910D1AFF710BC81C1A9E5AC24D9CDF70|/

ed2k://|file|Mads.Tofte.-.Compiler.Generators.djvu|826909|9881D012224A1B45D4
3F3E7C75681C58|/

ed2k://|file|McNamara,.Smaragdakis.-.Functional.Programming.in.C++.(2000).pd
f|135907|67C5BE01F939BA5ABB1E0D02AA22B187|/

ed2k://|file|Russell.-.Mathematical.Logic.as.Based.on.the.Theory.of.Types.(1
908).djvu|323269|5401408BA3EC79F26C0C8F422D4DCE16|/

ed2k://|file|Sperber,.Thiemann.-.Two.for.the.Price.of.One.-.Composing.Partia
l.Evaluation.and.Compilation.(1997).djvu|90382|615DA0374F61E6172D5A9675646D5
C60|/

ed2k://|file|Thiemann.-.Implementing.Memoization.for.Partial.Evaluation,.PLI
LP-96.(1996).djvu|63696|83CCC79C19BF263F84A77CF32C18664E|/

ed2k://|file|Thompson.-.Type.Theory.and.Functional.Programming.(1999).djvu|1
393363|827204B3764D0FE61A896A3E6F182C8A|/

• Next message: Корныхин Евгени: "Re: Историко-архивные материалы по Рефалу и астичным вычисления"
• Previous message: Sergei Romanenko: "Материалы, связанные с матанализом и машинной аналитикой"

This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:00 MSD