Search results
From HaskellWiki
You searched for Research
There is no page titled "Research".
For more information about searching HaskellWiki, see Help.
Showing below up to 20 results starting with #1.
View (previous 20) (next 20) (20 | 50 | 100 | 250 | 500)
Page title matches
- Research papers (2,156 bytes)
1: [[Category:Research]]
5: ... those investigating language design. An enormous research effort, by hundreds of researchers over the past ...
17: ;[http://research.microsoft.com/~simonpj/papers/history-of-haskell/... - Research papers/Runtime systems (8,072 bytes)
3: ;[http://research.microsoft.com/~simonpj/Papers/spineless-tagless-g...
6: ;[http://research.microsoft.com/~simonpj/Papers/eval-apply/index.ht...
9: ;[http://research.microsoft.com/~simonpj/Papers/new-rts.htm The New...
15: ;[http://research.microsoft.com/~simonpj/Papers/weak.htm Stretching...
35: ;[http://research.microsoft.com/apps/pubs/default.aspx?id=68455 For... - Research papers/Compilation (18,926 bytes)
7: ;[http://research.microsoft.com/~simonpj/Papers/cpr/index.htm Const...
15: ;[http://research.microsoft.com/~simonpj/Papers/usage-types/usage.h...
21: ;[http://research.microsoft.com/~simonpj/Papers/usage-types/usage.h...
24: ;[http://research.microsoft.com/~simonpj/Papers/usage-types/usage.h...
35: ;[http://research.microsoft.com/~simonpj/Papers/inlining/index.htm ... - Research papers/Type systems (25,905 bytes)
5: ;[http://research.microsoft.com/~simonpj/Papers/static-semantics.dv...
31: ;[http://research.microsoft.com/~simonpj/Papers/henk.ps.gz Henk: a ...
50: ;[http://research.microsoft.com/~simonpj/Papers/unboxed-values.ps.Z...
58: ;[http://research.microsoft.com/~simonpj/Papers/first-class-modules...
61: ;[http://research.microsoft.com/~simonpj/Papers/Nicklisch-modules.p... - Research papers/Data structures (14,601 bytes)
158: ;[http://research.microsoft.com/~simonpj/Papers/collections.ps.gz B...
213: See also [[Research papers/Generics]]
215: [[Category:Research]] - Research papers/Monads and arrows (17,552 bytes)
4: [[Category:Monad]] [[Category:Arrow]] [[Category:Research]]
7: ;[http://research.microsoft.com/~simonpj/Papers/state-lasc.ps.gz St...
10: ;[http://research.microsoft.com/~simonpj/Papers/lazy-functional-sta...
13: ;[http://research.microsoft.com/~simonpj/Papers/imperative.ps.Z Imp...
20: :Mark P. Jones and Luc Duponcheel Research Report YALEU/DCS/RR-1004, Yale University, New Ha... - Research papers/Generics (14,965 bytes)
8: ;[http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-010.pdf Comparing Libr...
25: ;[http://research.microsoft.com/~simonpj/Papers/hmap/index.htm Scra...
47: ;[http://www.cs.uu.nl/research/projects/generic-haskell/ Generic Haskell: a lang...
196: [[Category:Research]] - Research papers/Testing and correctness (10,600 bytes)
24: :Henrik Nilsson and Jan Sparud. Research Report LiTH-IDA-R-96-23, Department of Computer a...
41: ;[http://berkeley.intel-research.net/rennals/pubs/hw2003.pdf HsDebug: Debugging La...
42: ...mon Peyton-Jones. Cambridge University, Microsoft Research.
71: ...]. In Proc. of Conference on Software Engineering Research and Practice (SERPS), Mlardalen University, Octob...
84: ;[http://research.microsoft.com/en-us/um/people/simonpj/papers/veri... - Research papers/Program development (10,675 bytes)
109: ;[http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-025a.pdf Linear, Onlin...
123: ;[http://research.microsoft.com/pubs/67057/composing-haggis.ps.gz C...
168: [[Category:Research]] - Research papers/Domain specific languages (9,382 bytes)
155: ;[http://www.cs.kuleuven.be/~toms/Research/papers/modref2009.pdf Monadic Constraint Programm...
158: [[Category:Research]] - Research papers/Functional reactive programming (3,471 bytes)
35: ;[http://research.microsoft.com/scripts/pubDB/pubsasp.asp?RecordID=...
38: ;[http://research.microsoft.com/scripts/pubDB/pubsasp.asp?RecordID=...
47: ;[http://research.microsoft.com/scripts/pubDB/pubsasp.asp?RecordID=...
48: :Conal Elliott. Microsoft Research tech report MSR-TR-96-05. (Describes a predeces...
50: [[Category:Research]] - Research papers/Parallelism and concurrency (9,355 bytes)
11: ;[http://research.microsoft.com/~simonpj/Papers/conc-ffi/index.htm ...
17: ;[http://research.microsoft.com/~simonpj/Papers/marktoberdorf Tackl...
30: :Mark P. Jones and Paul Hudak, Research Report YALEU/DCS/RR-982, Yale University, New Hav...
87: ;[http://research.microsoft.com/~tharris/papers/2006-transact.pdf T...
94: ;[http://research.microsoft.com/~simonpj/papers/parallel-gc/index.h... - Research papers/Authors (8,706 bytes)
34: *[http://www.cambridge.intel-research.net/~rennals/ Robert Ennals]
47: *[http://research.microsoft.com/~adg/ Andrew D. Gordon]
55: *[http://research.microsoft.com/~tharris/ Tim Harris]
81: *[http://research.microsoft.com/Users/simonpj Simon Peyton Jones]
109: *[http://research.microsoft.com/~emeijer/ Eric Meijer] - Research papers/Top 10 (2,626 bytes)
17: ;[http://research.microsoft.com/~simonpj/Papers/imperative.ps.Z Imp...
26: ;[http://research.microsoft.com/copyright/accept.asp?path=/users/si... - Haskell in research (2,724 bytes)
4: ==Research groups==
9: *[http://www.md.chalmers.se/Cs/Research/Functional/ Chalmers]
11: *[http://www.ittc.ku.edu/research/view_lab.phtml?lab=CSDL Kansas]
12: *[http://www.cs.kent.ac.uk/research/groups/tcs/fp/ Kent]
15: *[http://www.cs.nott.ac.uk/Research/fop/ Nottingham] - Nokia Research Center Cambridge (2,554 bytes)
1: ==Senior research engineer==
3: ...tunity to collaborate with a world-class academic research community. This position is for the Armo project,...
5: ...n advanced degree and several years of industrial research experience. In addition to being expert in one or...
7: ...ble to lead technology transfer activities, write research papers and proposals, participate in industrial s...
18: ...ificial Intelligence Laboratory. We are a systems research center, investigating all aspects of future mobil... - Open research problems (1,124 bytes)
1: [[Category:Research]] - Research papers/Functional pearls (15,620 bytes)
33: ;[http://research.microsoft.com/en-us/people/dimitris/every-bit-cou...
59: ;[http://www.ccs.neu.edu/home/dherman/research/papers/icfp07-great-escape.pdf Functional Pearl: ...
92: ;[http://research.microsoft.com/~akenn/fun/picklercombinators.pdf P...
131: ;[http://research.microsoft.com/~akenn/fun/picklercombinators.pdf P...
198: ;[http://research.microsoft.com/Users/simonpj/Papers/financial-cont... - Ro/Haskell-Ph.D research center. (786 bytes)
- Research area (5,912 bytes)
Page text matches
- Monad (13,627 bytes)
113: == Monad research ==
115: ...collection of [[Research_papers/Monads_and_arrows|research papers]] about monads.
129: * [http://research.microsoft.com/~emeijer/Papers/XLinq%20XML%20Progr...
140: * [http://logic.csci.unt.edu/tarau/research/PapersHTML/monadic.html Prolog]
153: ** [http://www.ccs.neu.edu/home/dherman/research/tutorials/monads-for-schemers.txt also] - Applications and libraries/Operating system (9,637 bytes)
3: ...arch papers/Program development#Operating systems|research papers on this topic]]. - Analysis and design (2,492 bytes)
2: [[Category:Research]] [[Category:Applications]]
19: See on [http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/ PURe -- Program Understanding and Re-engine...
21: The aim of the PURe research project is to develop calculi for program underst... - Introduction (26,400 bytes)
177: (ed.): Research Topics in Functional Programming, Addison-Wesley,
444: Haskell research group that your problem was interesting enough or - Concurrency (2,777 bytes)
16: See "[http://research.microsoft.com/en-us/um/people/simonpj/papers/mark...
23: ...mposable memory transactions]. The paper [http://research.microsoft.com/en-us/um/people/simonpj/papers/stm/...
25: ...re described in a Haskell workshop paper, [http://research.microsoft.com/~simonpj/Papers/conc-ffi/index.htm ...
40: * Parallelism and concurrency [[Parallel/Research|research]] - HIDE (24,523 bytes)
3: ...aned.''' Creating a decent IDE is still an active research topic and many problems are yet to be resolved (s...
76: ...d silver function programmings which i use for my research. I would like to start with something concrete in... - Humor/Microsoft (5,776 bytes)
43: ... to Java. According to Chris Fraser, a Microsoft research
79: said "I guess this means the end of our research efforts here. There
80: is no way a small research group such as ours can compete with
84: a new Microsoft research group in Nottingham, England which will be
87: ...here in Nottingham. When they decided to build a research - Jobs (2,023 bytes)
3: ...ist] and the Types mailing list (particularly for research jobs). Contacting those organisations listed on t...
29: ...hips Internships on Haskell and GHC, at Microsoft Research, Cambridge] - Haskell in practice (13,964 bytes)
38: <DT>[http://www.cs.waikato.ac.nz/Research/fm/amuzed.html AMuZed and ZooM]
80: * [http://research.microsoft.com/Users/simonpj/#contracts-icfp Compo...
102: ...ill be an invaluable resource for advanced study, research and implementation. </blockquote> - Books (26,370 bytes)
12: widely used for teaching, research, and applications. The language
21: research, teaching, or application of Haskell.
177: <dt>Simon Peyton Jones: [http://research.microsoft.com/Users/simonpj/Papers/slpj-book-1987...
179: ...now out of print, but it is now available [http://research.microsoft.com/Users/simonpj/Papers/slpj-book-1987...
185: [http://research.microsoft.com/Users/simonpj/Papers/papers.html av... - QuotesPage (54,289 bytes)
209: <Marvin--> research meeting for the cover group
676: <jadrian> edi: http://research.microsoft.com/Users/simonpj/
678: <shapr> I'm an obsessive research paper downloader/reader, and I still haven't read... - Humor/Enron (5,000 bytes)
28: Enter Professor Peyton Jones. As part of his research at Microsoft in
75: from years of research in Haskell, an esoteric computer language.
83: Research but he added "It would be a tremendous boost the ...
86: ...ns to remain where he is. "I'm flattered that my research has - Humor/Urgent (4,290 bytes)
45: AS PAYMENT, WHICH IS LONG-OUTSTANDING, FOR A RESEARCH CONTRACT, WE
49: WHENEVER THEY ARE DEMANDING PAYMENT FOR RESEARCH CONTRACTS EXECUTED FOR - Links (11,344 bytes)
3: * [[Haskell in research]]
6: ==Research groups:==
11: *[http://www.md.chalmers.se/Cs/Research/Functional/ Chalmers]
12: *[http://www.ittc.ku.edu/research/view_lab.phtml?lab=CSDL Kansas University]
13: *[http://www.cs.kent.ac.uk/research/groups/tcs/fp/ Kent]</li> - Introduction to QuickCheck2 (8,275 bytes)
261: ...skellwiki/Research_papers/Testing_and_correctness research on correctness and testing] in Haskell - Implementations (7,320 bytes)
45: ... the same language. Our compiler is still in the "research prototype" stage, but will compile programs if yo...
48: A product of the [http://www.cs.bris.ac.uk/Research/LanguagesArchitecture/brisk.html BRISK project] a... - Combinatory logic (40,070 bytes)
365: ...people/homepages/hofstadter.html also his current research project on a self-watching cognitive architecture... - Generalised algebraic datatype (8,399 bytes)
3: ... systems#Generalised Algebraic Data Types (GADTs)|research papers on type systems]].
9: * [http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt... - Applications and libraries/Concurrency and parallelism (7,513 bytes)
3: ...rch area. Some low-level tools (MPI bindings) and research prototypes are available and new approaches being...
9: [[Parallel|parallel Haskell portal]] for research papers, tutorials and on
20: :* Latest paper: [http://research.microsoft.com/apps/pubs/default.aspx?id=138042 Se...
34: === Research efforts ===
37: ...ed mechanism to increase its granularity ([http://research.microsoft.com/~tharris/papers/2007-fdip.pdf FDIP ... - News/1999 (9,161 bytes)
78: a new book: "Research Directions in Parallel Functional
View (previous 20) (next 20) (20 | 50 | 100 | 250 | 500)
