tag :: functional-programming | BibSonomy

bookmarks (hide)15
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
folkrank
order
ascending
descending
RSS
BibTeX
XML

1How to Design Worlds: Imaginative Programming in DrScheme
http://world.cs.brown.edu/1/
12 years ago by @draganigajic
show all tags
drscheme
education
functional-programming
plt
scheme
drschemeeducationfunctional-programmingpltscheme
(0)
copydelete
- community post
- history of this post
2The Objective-Caml system, release 3.11
http://caml.inria.fr/pub/docs/manual-ocaml/index.html
12 years ago by @draganigajic
show all tags
documentation
functional-programming
manual
ml
ocaml
documentationfunctional-programmingmanualmlocaml
(0)
copydelete
- community post
- history of this post
1Main page for the programming language JOY
http://www.latrobe.edu.au/philosophy/phimvt/joy.html
12 years ago by @draganigajic
show all tags
concatenative
forth
fp
functional-programming
joy
papers
stack
concatenativeforthfpfunctional-programmingjoypapersstack
(0)
copydelete
- community post
- history of this post
1ICFPAugust2009Steele.pdf - Powered by Google Docs
Fold and Cons considered harmful...
14 years ago by @fsteeg
show all tags
concurrency
functional-programming
programming
concurrencyfunctional-programmingprogramming
(0)
copydelete
- community post
- history of this post
2EDOS - WebHome
http://www.edos-project.org/xwiki/bin/view/Main/WebHome
15 years ago by @semanticinvesting
show all tags
Constructive-Logics
EDOS
FDLs
Formal-Methods
Functional-Programming
Open-Source
P2P
Softwares
Constructive-LogicsEDOSFDLsFormal-MethodsFunctional-ProgrammingOpen-SourceP2PSoftwares
(0)
copydelete
- community post
- history of this post
2Constraint-Programming linear-Programming functional-Programming - Google Search
http://www.google.de/search?num=100&hl=en&client=firefox-a&rls=org.mozilla%3Aen-US%3Aofficial&hs=Sam&q=Constraint-Programming+linear-Programming+functional-Programming&btnG=Search
16 years ago by @semanticinvesting
show all tags
Constraint-Programming
functional-Programming
linear-programming
Constraint-Programmingfunctional-Programminglinear-programming
(0)
copydelete
- community post
- history of this post
2Process Algebras: Whats the point? | Lambda the Ultimate
parallelization
16 years ago by @semanticinvesting
show all tags
Concurrency
Erlang
Formal-Methods
JoCaml
Process-Algebras
Programming-Languages
Scala
Topos-Theory
functional-programming
parallelization
ConcurrencyErlangFormal-MethodsJoCamlProcess-AlgebrasProgramming-LanguagesScalaTopos-Theoryfunctional-programmingparallelization
(0)
copydelete
- community post
- history of this post
2Genetic-Programming functional-programming - Google Search
http://www.google.de/search?num=100&hl=en&client=firefox-a&rls=org.mozilla%3Aen-US%3Aofficial&hs=4Xz&q=Genetic-Programming+functional-programming&btnG=Search
16 years ago by @semanticinvesting
show all tags
Genetic-Programming
functional-programming
Genetic-Programmingfunctional-programming
(0)
copydelete
- community post
- history of this post
4FDL Project Home
http://www.nuprl.org/FDLproject/
16 years ago by @semanticinvesting
show all tags
Computational-Trading
Constructive-Logics
FDLs
Formal-Digital-Libraries
Formal-Interoperability
Formal-Methods
Formal-Theories
Proof-Transformation
Proofers
Topos-Theory
algorithms
functional-programming
Computational-TradingConstructive-LogicsFDLsFormal-Digital-LibrariesFormal-InteroperabilityFormal-MethodsFormal-TheoriesProof-TransformationProofersTopos-Theoryalgorithmsfunctional-programming
(0)
copydelete
- community post
- history of this post
2Jane Street Capital, LLC
http://janestcapital.com/
16 years ago by @semanticinvesting
show all tags
Functional-Programming
OCAML
Trading
Functional-ProgrammingOCAMLTrading
(0)
copydelete
- community post
- history of this post
2Trading-System OCAML - Google Search
http://www.google.de/search?q=Trading-System+OCAML&ie=utf-8&oe=utf-8&aq=t&rls=org.mozilla:en-US:official&client=firefox-a
16 years ago by @semanticinvesting
show all tags
OCAML
Trading-Systems
functional-programming
OCAMLTrading-Systemsfunctional-programming
(0)
copydelete
- community post
- history of this post
2Functional-Programming Trading-Systems - Google Search
http://www.google.de/search?num=100&hl=en&client=firefox-a&rls=org.mozilla%3Aen-US%3Aofficial&hs=6ly&q=Functional-Programming+Trading-Systems&btnG=Search&meta=
16 years ago by @semanticinvesting
show all tags
Functional-Programming
Trading-Systems
Functional-ProgrammingTrading-Systems
(0)
copydelete
- community post
- history of this post
9Google Research Publication: MapReduce
http://labs.google.com/papers/mapreduce.html
17 years ago by @zeno
show all tags
functional-programming
google
mapreduce
parallel
functional-programminggooglemapreduceparallel
(0)
copydelete
- community post
- history of this post
1The Next Mainstream Programming Language: A Game Developer's Perspective
http://www.st.cs.uni-sb.de/edu/seminare/2005/advanced-fp/docs/sweeny.pdf
17 years ago by @zeno
show all tags
functional-programming
future
games
programming
programming-language
functional-programmingfuturegamesprogrammingprogramming-language
(0)
copydelete
- community post
- history of this post
1Jorgen Schäfer’s Homepage
http://forcix.cx/
17 years ago by @trzkril
show all tags
emacs
debian
functional-programming
emacsdebianfunctional-programming
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
⟩
⟩⟩

publications (hide)36
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
folkrank
order
ascending
descending
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Fun with Functional Dependencies
T. Hallgren. Proc. of the Joint CS/CE Winter Meeting , (2000)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
3Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
Y. Smaragdakis. (2019)cite arxiv:1905.00402.
4 years ago by @alexv
show all tags
functional-programming
functional-programming
(0)
copydeleteadd this publication to your clipboard
3Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
S. Jones. Engineering theories of software construction , page 47--96. Press, (2001)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
1Programming with Recursion Schemes
D. Wang, and T. VII. (2002)undefined.
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
2Monoids: Theme and Variations (Functional Pearl)
B. Yorgey. SIGPLAN Not. 47 (12): 105--116 (September 2012)
4 years ago by @alexv
show all tags
functional-programming
functional-programming
(0)
copydeleteadd this publication to your clipboard
2Fast and Loose Reasoning is Morally Correct
N. Danielsson, J. Hughes, P. Jansson, and J. Gibbons. Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , volume 41 of POPL '06, page 206--217. New York, NY, USA, ACM, (January 2006)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
10Why Functional Programming Matters
J. Hughes. Computer Journal 32 (2): 98--107 (1989)
4 years ago by @alexv
show all tags
functional-programming
functional-programming
(0)
copydeleteadd this publication to your clipboard
5Functional programming with bananas, lenses, envelopes and barbed wire
E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming Languages and Computer Architecture , volume 523 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1991)
4 years ago by @alexv
show all tags
functional-programming
program-transformation
functional-programmingprogram-transformation
(0)
copydeleteadd this publication to your clipboard
1Origami Programming
J. Gibbons. page 41--60. Palgrave, (2003)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
1Applicative programming with effects
C. Mcbride, and R. Paterson. Journal of Functional Programming 18 (01): 1--13 (May 16, 2007)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
4Functional Programming with Overloading and Higher-Order Polymorphism
M. Jones. 925, Springer-Verlag, (May 1995)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
5Comprehending Monads
P. Wadler. Proceedings of the 1990 ACM Conference on LISP and Functional Programming , page 61--78. New York, NY, USA, ACM, (1990)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
2FUNCTIONAL PEARLS: Probabilistic Functional Programming in Haskell
M. Erwig, and S. Kollmansberger. J. Funct. Program. 16 (1): 21--34 (January 2006)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
3Profunctor Optics: Modular Data Accessors
M. Pickering, J. Gibbons, and N. Wu. (Mar 31, 2017)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
2Analysis of musical structures: an approach utilising monadic parser combinators
A. Anderson. University of Glasgow, (2011)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
2Monadic Parsing in Haskell
G. Hutton, and E. Meijer. Journal of Functional Programming 8 (04): 437--444 (July 1998)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
1Arrows and computation
R. Paterson. The Fun of Programming , page 201--222. (2003)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
2Extensible Effects: An Alternative to Monad Transformers
O. Kiselyov, A. Sabry, and C. Swords. SIGPLAN Not. 48 (12): 59--70 (September 2013)
4 years ago by @alexv
show all tags
functional-programming
haskell
monads
functional-programminghaskellmonads
(0)
copydeleteadd this publication to your clipboard
2Unifying Structured Recursion Schemes
R. Hinze, N. Wu, and J. Gibbons. Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming , page 209--220. New York, NY, USA, ACM, (2013)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard
1The Essence of the Iterator Pattern
J. Gibbons, and Bruno. J. Funct. Program. 19 (3-4): 377--402 (July 2009)
4 years ago by @alexv
show all tags
functional-programming
haskell
functional-programminghaskell
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
⟩
⟩⟩