Возраст домена | n/a |
Дата окончания | n/a |
PR | 5 |
ИКС | 0 |
Страниц в Google | 198 |
Страниц в Яндексе | 66 |
Dmoz | Нет |
Яндекс Каталог | Нет |
Alexa Traffic Rank | 7419480 |
Alexa Country | Нет данных |
История изменения показателей | Авторизация |
Идет сбор информации... Обновить
Homepage of Andres Löh
n/a
n/a
UTF-8
31.55 КБ
1 831
14 751 симв.
12 454 симв.
Данные предоставлены сервисом semrush
Сайт | Общие фразы | PR | тИЦ | Alexa Rank | Alexa Country | |
---|---|---|---|---|---|---|
wikipedia.org | 16 | 9 |
0 | 5 | 6 | |
stackoverflow.com | 11 | 7 |
0 | 47 | 44 | |
github.io | 5 | 8 |
0 | 3375733 | Нет данных | |
haskell.org | 4 | 7 |
0 | 34615 | 21698 | |
youtube.com | 4 | 9 |
0 | 2 | 2 | |
reddit.com | 4 | 8 |
0 | 19 | 5 | |
c2.com | 3 | 5 |
0 | 66254 | 28086 | |
github.com | 3 | 8 |
0 | 44 | 33 | |
nixos.org | 3 | 6 |
0 | 252130 | 178790 | |
google.com | 3 | 9 |
0 | 1 | 1 | |
Еще 40 сайтов после авторизации |
Данные предоставлены сервисом semrush
Данные linkpad ( 9 Февраля 2014 ) | |
Количество ссылок на сайт | 19 |
Количество доменов, которые ссылаются на сайт | 12 |
Количество найденных анкоров | 9 |
Исходящие (внешние) ссылки домена | 154 |
Количество доменов, на которые ссылается сайт | 53 |
Количество исходящих анкоров | 68 |
Внешние ссылки главной страницы ( 47 ) | |
well-typed.com | Well-Typed LLP |
uu.nl | Utrecht University |
uni-bonn.de | University of Bonn |
uni-freiburg.de | University of Freiburg |
ioc.ee | Institute of Cybernetics |
cs.uu.nl | Computer Science |
math.uni-konstanz.de | Mathematics |
inf.uni-konstanz.de | Computer Science |
konstanz.de | Konstanz |
skillsmatter.com/conferences/10237-haskell-exchange-2018 | Haskell eXchange |
munihac.github.io | MuniHac |
utrechtsummerschool.nl/index.php?type=courses&code=H9 | Utrecht Summer School on Applied Functional Programming 2009 and 2010 |
web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/wg21/ | IFIP WG 2.1 |
cs.uu.nl/wiki/GenericProgramming | Generic Programming project |
nixos.org | NixOS |
dreixel.net | José Pedro Magalhães |
cs.uu.nl/~doaitse | Doaitse Swierstra |
cs.uu.nl/~stefan | Stefan Holdermans |
cs.uu.nl/~leather | Sean Leather |
haskell.org/haskell-symposium/2018/ | Haskell Symposium 2018 |
cse.chalmers.se/~myreen/tfp2018/ | Trends in Functional Programming (TFP) 2018 |
complogic.cs.mcgill.ca/ppdp2017/ | Principles and Practice of Declarative Programming (PPDP) 2017 |
info.kochi-tech.ac.jp/FLOPS2016/ | Functional and Logic Programming (FLOPS) 2016 |
heim.ifi.uio.no/~stolz/atps2014/ | Arbeitstagung Programmiersprachen (ATPS) 2014 |
cse.chalmers.se/~nad/plpv-2014/ | Programming Languages meets Program Verification (PLPV) 2014 |
cufp.org/conference/2013/ | Commercial Users of Functional Programming (CUFP) 2013 |
bioinf.uni-leipzig.de/conference-registration/13haskell/de/S... | Haskell-Treffen an der Universität Leipzig (HaL8) 2013 |
wgp-sigplan.org/2012/ | Workshop on Generic Programming (WGP) 2012 |
ittc.ku.edu/ifl2011/ | Implementation and Application of Functional Languages (IFL) 2011 |
haskell.org/haskellwiki/HaskellImplementorsWorkshop/2011/ | Haskell Implementors Workshop (HIW) 2011 |
resource-aware.org/do/view/GPCE10/ | Generative Programming and Component Engineering (GPCE) 2010 |
icfpconference.org/icfp2010/ | International Conference on Functional Programming (ICFP) 2010 |
program-transformation.org/PEPM10 | Workshop on Partial Evaluation and Program Manipulation (PEPM) 2010 |
wiki.portal.chalmers.se/cse/WGP09/ | Workshop on Generic Programming (WGP) 2009 |
msfp.org.uk | Mathematically Structured Functional Programming (MSFP) 2008 |
icfp06.cs.uchicago.edu/ | International Conference on Functional Programming (ICFP) 2006 |
cs.ioc.ee/mpc-amast06/msfp/ | Mathematically Structured Functional Programming (MSFP) 2006 |
haskell.org/haskell-workshop/2006/ | Haskell Workshop 2006 |
cs.uu.nl/~daan/hw2005/ | Haskell Workshop 2005 |
cs.uu.nl/~johanj/publications/GHTypeSystem.pdf | Available online. |
cs.uu.nl/~ralf/hw2001.html | Available online. |
cs.brown.edu/publications/jgaa/ | Available online. |
cs.uu.nl/research/projects/generic-haskell/compiler.html | still available |
guenter.loeh.name/ | Günter Löh |
guenter.loeh.name/gc/status.html | Generalized Cullen primes |
validator.w3.org/check?uri=referer | <img> |
jigsaw.w3.org/css-validator/check/referer | <img> |
Внутренние ссылки главной страницы ( 109 ) | |
./GFP.html | GFP |
./ExploringGH.pdf | Available online. |
./DerivingVia/ | Deriving Via, or, How to Turn Hand-Written Instances into An Anti-Pattern |
./Servant/ | Type-level Web APIs with Servant – An exercise in domain-specific generic programming |
./HierarchyGP/ | Hierarchy in Generic Programming Libraries |
./SemanticsOfVersionControl/ | The Semantics of Version Control |
./TrueSumsOfProducts/ | True Sums of Products |
./AgdaBX/ | Formalizing Semantic Bidirectionalization with Dependent Types |
andres-loeh.de/TypeChangingRewriting/ | Type-Changing Rewriting and Semantics-Preserving Transformation |
./GenericGenericProgramming/ | Generic Generic Programming |
andres-loeh.de/ASGDSL/ | Abstract Syntax Graphs for Domain Specific Languages |
./DeterministicParallelProgramming/ | Deterministic Parallel Programming with Haskell |
./FormalComparisonGP/ | A formal comparison of approaches to datatype-generic programming |
andres-loeh.de/IndexedFunctors/ | Generic Programming with indexed functors |
andres-loeh.de/GenericDeriving/ | A generic deriving mechanism for Haskell |
andres-loeh.de/GenericStorage/ | Generic Storage in Haskell |
./DependentlyTypedGrammars/ | Dependently Typed Grammars |
./PiSigma/ | ΠΣ: Dependent Types without the Sugar |
andres-loeh.de/OptimizingGenerics/ | Optimizing generics is easy! |
./Incrementalization/ | Pull-Ups, Push-Downs, and Passing It Around (Exercises in Functional Incrementalization) |
andres-loeh.de/GDiff.html | Type-safe diff for families of datatypes |
andres-loeh.de/Rec/ | Generic programming with fixed points for mutually recursive datatypes |
./LambdaPi/ | A Tutorial Implementation of a Dependently Typed Lambda Calculus |
./NixOS.html | NixOS: A Purely Functional Linux Distribution |
./ICFP.html | Report on the Tenth ICFP Programming Contest |
./GP3D.html | Generic programming in 3D |
./VersionControl.html | A Principled Approach to Version Control |
./OpenDatatypes.html | Open data types and open functions |
./SYB1.html | "Scrap Your Boilerplate" Revolutions |
./Views.html | Generic views on data types |
./GenericsLibrary.html | Generics as a Library |
./NOW.html | Generic Programming, Now! |
./SYB0.html | "Scrap Your Boilerplate" Reloaded |
./Contracts.html | Typed Contracts for Functional Programming |
./TypeInferenceGH.html | Type Inference for Generic Haskell |
./qmlf-str.pdf | Available online. |
./ViewsOne.pdf | Draft available online. |
./Tidata.html | Type-indexed data types |
./lhs2tex/ | homepage |
./exi/ | homepage |
./BPL/ | homepage (page in German) |
./hsbirthdays/hsbirthdays-1.0.tar.gz | source tarball |
./hsbirthdays/hsbirthdays-1.0.ebuild | Gentoo ebuild |
./deriving-via-haskellx.pdf | Deriving Via |
./deriving-via-ifip-21.pdf | Deriving Via |
./simulating-effects-dsls.pdf | (Simulating) effects in domain-specific languages |
./bidirectional-bobkonf.pdf | Write one program, get two (or three, or many) |
./migrations-sop-warsaw.pdf | Evolving Datatypes |
./Servant/servant-wgp-talk.pdf | Type-Level Web APIs with Servant |
./dgdm-ifip.pdf | Datatype-generic data migrations |
./TrueSumsOfProducts/sop-wgp.pdf | True Sums of Products (pdf) |
./Munich-Lambda-Par.pdf | An Introduction to (Deterministic) Parallel Programming in Haskell (pdf) |
./Munich-Lambda-Par-Examples.zip | code samples (zip) |
./Free.pdf | Monads for Free! (pdf) |
./Cloud.pdf | Distributed Programming with Cloud Haskell (pdf) |
./GP-ITB.pdf | Datatype-Generic Programming in Haskell (pdf) |
./HaskellForDSLs.pdf | Haskell for (E)DSLs (pdf) |
./IFIP-MCE.pdf | Parallelizing Maximal Clique Enumeration in Haskell (pdf) |
./DGP-Agda.pdf | Programming with Universes, Generically (pdf) |
./DGP-Intro-2012.pdf | Datatype-generic Programming in Haskell (pdf) |
./ParGHC.pdf | The Parallel GHC Project (pdf) |
./DGP-Intro.pdf | Datatype-generic Programming in Haskell (pdf) |
./Universes.pdf | Expanding the Universe (pdf) |
./Haskell-EDSLs.pdf | Haskell for EDSLs (pdf) |
./storage.pdf | Generic Storage in Haskell (pdf) |
./TypesUniversesEverything.pdf | Types, Universes and Everything (pdf) |
./DTG.pdf | Dependently Typed Grammars (pdf) |
./lhs2tex-HUG.pdf | lhs2TeX (pdf) |
./multirec-icfp.pdf | Generic programming with fixed points for mutually recursive datatypes (pdf) |
./multirec-chalmers.pdf | Generic programming with the multirec library (pdf) |
./GDiff.pdf | Generic diff (pdf) |
./IndexFix.pdf | Indexed Fixed Points (pdf) |
./NixOS-Kiel.pdf | NixOS (in German, pdf) |
./NixOS-IFIP.pdf | NixOS (pdf) |
./STC-AgdaParsers.pdf | Terminating combinator parsers in Agda (pdf) |
./math-uu.pdf | Types in Functional Programming Languages (pdf) |
./fpdag2008.pdf | Trinity (pdf) |
./LambdaPi-Talk.pdf | Implementing Dependent Types in Haskell (pdf) |
./Contracts-Trinity.pdf | Contracts in Trinity (pdf) |
./open-ppdp.pdf | Open data types and open functions (pdf) |
./SYB0-Talk.pdf | Scrap Your Boilerplate Reloaded (pdf) |
./open-japan.pdf | Open data types and open functions (pdf) |
./icfp2005.pdf | Qualified Types for ML-F (pdf) |
./dgp2005.pdf | Extensible datatypes (pdf) |
./afp-ds-2.pdf | Data Structures II (pdf) |
./afp-ds-1.pdf | Data Structures I (pdf) |
./AGee.pdf | Attribute Grammars in Haskell with UUAG (pdf) |
./Koke2005.pdf | Structural polymorphism in Generic Haskell (pdf) |
./lhs2TeX-IFIP.pdf | Typesetting Haskell and more with lhs2TeX (pdf) |
./Dependencies.pdf | Dependencies – by case or by function? (pdf) |
./Generalizing.pdf | Generalizing Generic functions (pdf) |
./freiburg.pdf | Generic Haskell (pdf) |
./lhs2TeX.pdf | Typesetting Haskell and more with lhs2TeX (pdf) |
./ICFP2003.pdf | Dependency-style Generic Haskell (pdf) |
./ST-05-2003.pdf | Generic Programming in Haskell (pdf) |
./APPSEM-II.pdf | Explicit Recursion in Generic Haskell (pdf) |
./DecodingStyles.pdf | Dec@ding style files |
./DecodingStylesUebungen.pdf | exercises, (in German, pdf) |
./ExplicitRecursion.pdf | Recovering explicit recursion in GH (pdf) |
./talk5.pdf | Generic Haskell, Specifically (pdf) |
./talk4.pdf | Generic Haskell 0.99 – Amber Release (pdf) |
./talk3.pdf | The UU_AG System – Programming with Functions, Aspects, Attributes, and Catamorphisms (pdf) |
./talk2.ps.gz | Generic Haskell – Bringing generic functions into the Haskell world (ps.gz) |
./talk1.pdf | A second prototype of a first prototype for Generic Haskell |
./Poster.pdf | poster (pdf) |
./konjdrei.pdf | Aller guten Konjunktive sind drei (in German, pdf) |
./polytable-0.8.2.tar.gz | polytable (version 0.8.2, .tar.gz) |
haskell.andres-loeh.de | course on the programming language Haskell |
sn.andres-loeh.de | Selectio Naturalis (in German) |
Domain: andres-loeh.de
Nserver: ns1.variomedia.de
Nserver: ns2.variomedia.de
Status: connect
Changed: 2009-02-25T23:00:19+01:00
США - 74.125.228.32
США - 74.125.228.33
США - 74.125.228.34
США - 74.125.228.35
США - 74.125.228.36
США - 74.125.228.37
США - 74.125.228.38
США - 74.125.228.39
США - 74.125.228.40
США - 74.125.228.41
США - 74.125.228.46
HTTP/1.1 200 OK
Date: Thu, 02 Jan 2020 20:08:21 GMT
Server: Apache/2.4.37 (Unix) OpenSSL/1.0.2q
Last-Modified: Sun, 28 Oct 2018 18:08:13 GMT
ETag: "7e2f-5794dd5fc527d"
Accept-Ranges: bytes
Content-Length: 32303
Content-Type: text/html; charset=utf-8
Кнопка для анализа сайта в один клик, для установки перетащите ссылку на "Панель закладок"