@misc(TheGhcApiCoreSyn,
)
@misc(TheGhcApiHsExpr,
)
@misc(TheGhcApiPlugins,
)
@misc(IKnowKungFuLearningStgByExample,
)
@inproceedings(ResourceAwareML,
 doi          = {10.1007/978-3-642-31424-7\_64},
)
@inproceedings(TowardsAutomaticResourceBoundAnalysisForOCaml,
 doi          = {10.1145/3009837.3009842},
)
@bachelorsthesis(EvaluationUndErweiterungEinerTypBasiertenKostenanalyseFuerFunktionaleSprachenMitVerzoegerterAuswertung,
)
@phdthesis(AutomatedAmortisedAnalysis,
)
@article(TypeBasedCostAnalysisForLazyFunctionalLanguages,
 doi          = {10.1007/s10817-016-9398-9},
 url          = {http://www.dcc.fc.up.pt/~pbv/research/JAR2016-draft.pdf},
)
@bachelorsthesis(MutualRecursiveDefinitionsForATypeBasedCostAnalysisForLazyFunctionalLanguages,
)
@bachelorsthesis(ErweiterungDesPrototypsEinerTypBasiertenKostenanalyseFuerFunktionaleSprachenMitVerzoegerterAuswertung,
)
@mastersthesis(ImplementationOfAnAutomatedAmortizedAnalysisOnGHCCoreAsCompilerPlugin,
)
@inproceedings(SystemFWithTypeEqualityCoercions,
 doi          = {10.1145/1190315.1190324},
)
@misc(GhcUsersGuideDocumentation822,
)
@article(TypabilityAndTypeCheckingInSystemFAreEquivalentAndUndecidable,
 doi          = {10.1016/S0168-0072(98)00047-5},
)