FP /

RecentChanges

FPWeeklyMeeting . . . October 23, 2023, at 11:38 am by Patrik Jansson:
FP . . . October 23, 2023, at 08:03 am by Patrik Jansson:
DTPinSciComp . . . April 10, 2018, at 09:20 AM by Patrik Jansson:
ProjectNumbers . . . August 17, 2016, at 01:56 PM by Patrik Jansson:
ValiantAgda . . . January 30, 2016, at 10:49 PM by Patrik Jansson:
SeqDecProb . . . July 29, 2015, at 09:57 PM by Patrik Jansson:
DSLsofMath . . . June 25, 2015, at 07:12 AM by Patrik Jansson:
MScThesis . . . April 16, 2015, at 10:49 AM by Patrik Jansson:
LibrariesYouCanTrust . . . April 01, 2015, at 11:53 AM by Patrik Jansson:
ClassLaws . . . March 26, 2015, at 10:30 PM by Patrik Jansson:
Courses . . . March 18, 2015, at 04:31 PM by Patrik Jansson:
HaskellDSLForCalulusOrLinearAlgebra . . . March 18, 2015, at 03:46 PM by Patrik Jansson:
OptimizingFunctionRepresentationsForIntervalAnalysis . . . March 18, 2015, at 02:24 PM by Cezar:
HaskellDSLForCalculusOrLinearAlgebra . . . March 18, 2015, at 02:20 PM by Cezar: Migrated page with typo in title
VerifiedValidatedNumericalMethods . . . March 17, 2015, at 02:20 PM by Patrik Jansson:
ListOfCurrentEx-jobbs . . . March 16, 2015, at 01:54 PM by Patrik Jansson:
FeldsparRelatedProjects . . . March 16, 2015, at 01:48 PM by Emil: Updated Feldspar projects
SideBar . . . March 16, 2015, at 01:44 PM by Emil: Fixed Feldspar link
AgdaBackendForOTT . . . March 16, 2015, at 01:16 PM by Patrik Jansson:
FunctionalFEEC . . . March 16, 2015, at 01:03 PM by Patrik Jansson:
FP2015-02 . . . February 12, 2015, at 04:52 PM by Patrik Jansson:
Parallella . . . September 30, 2014, at 07:59 PM by Ola:
ErrorReportingForCYKChartParsing . . . August 11, 2014, at 08:42 AM by JP:
AoPAgda . . . July 04, 2014, at 01:59 PM by Patrik Jansson:
StronglyTypedLibrariesForProgramsAndProofs . . . July 04, 2014, at 11:12 AM by Patrik Jansson:
EmbeddedParserGenerators . . . March 10, 2014, at 09:49 PM by Patrik Jansson:
ICFP2014 . . . March 10, 2014, at 09:37 PM by Patrik Jansson:
Feldspar . . . February 18, 2014, at 01:25 PM by Emil:
MengWang . . . August 23, 2013, at 06:08 PM by Meng:
ICFP2013Travel . . . August 15, 2013, at 03:50 PM by Emil:
Venues . . . July 01, 2013, at 11:05 PM by Patrik Jansson:
SustainableEnergyFuture . . . May 15, 2013, at 11:53 AM by Patrik Jansson:
LiquidFeedback . . . April 22, 2013, at 02:05 PM by JP Bernardy:
PapersRelatedToFeldsparObsidianIntermediateRepresentationsAndTheLike . . . March 01, 2013, at 05:09 PM by Nikita Frolov:
VINNOVA2013 . . . February 15, 2013, at 01:38 PM by Emil:
TestingPolymorphicProperties . . . February 12, 2013, at 11:37 PM by Patrik Jansson:
VR2013 . . . January 24, 2013, at 04:12 PM by Patrik Jansson:
PublicationPlanning . . . January 15, 2013, at 11:24 AM by jp: Type-Theory in Color
TestingVersusProvingInClimateImpactResearch . . . January 10, 2013, at 09:14 PM by Patrik Jansson:
HardwareAcc . . . December 10, 2012, at 04:56 PM by Emil Axelsson:
ScalaCourse . . . November 28, 2012, at 02:32 PM by Mary: Link to course home page
ParaDep . . . September 20, 2012, at 11:16 PM by Patrik Jansson:
Testing-Feat . . . September 20, 2012, at 09:11 AM by Patrik Jansson:
FPworktalks . . . June 20, 2012, at 04:50 PM by Patrik Jansson:
PlanSummer2012 . . . June 17, 2012, at 11:00 PM by Patrik Jansson:
ConceptsTypeClasses . . . April 29, 2012, at 11:16 PM by Patrik Jansson:
PFP . . . April 13, 2012, at 11:49 PM by Patrik Jansson:
VR2012 . . . March 15, 2012, at 10:36 AM by Patrik Jansson:
FeldsparHack . . . December 15, 2011, at 10:37 AM by Emil:
StronglyTypedGenericLibraries . . . December 04, 2011, at 10:57 PM by Patrik Jansson:
CoreErlangToWhyBackend . . . November 18, 2011, at 10:52 AM by Cl�udio Amaral:
VerificationOfErlangPrograms3ModuleInterfaces . . . November 18, 2011, at 10:52 AM by Cl�udio Amaral:
ErlangSpecificationLanguage . . . November 18, 2011, at 10:47 AM by Cl�udio Amaral:
HCAR-tex . . . October 24, 2011, at 10:33 AM by jp: closed
VerificationOfErlangPrograms2ModuleInterfaces . . . October 07, 2011, at 06:17 PM by Cl�udio Amaral:
JavaScriptModeForYi . . . September 28, 2011, at 01:56 PM by Patrik Jansson:
ICFP2011Travel . . . September 02, 2011, at 02:10 PM by John :
JPBDefense . . . May 12, 2011, at 02:50 PM by Patrik Jansson:
MonadicDynamicalSystemsInHaskellAndC . . . May 10, 2011, at 10:24 PM by Patrik Jansson:
RAWFP . . . May 06, 2011, at 11:42 PM by Patrik Jansson:
SSFSIS2010 . . . April 12, 2011, at 11:39 AM by Patrik Jansson:
Preprints . . . March 25, 2011, at 11:17 PM by Patrik Jansson:
PatrikJanssonStatus20110315 . . . March 20, 2011, at 11:19 PM by Patrik Jansson:
ComputationalVulnerabilityAssessment . . . March 01, 2011, at 10:33 AM by Patrik Jansson:
ComparingLibrariesForGenericProgrammingInHaskell . . . January 16, 2011, at 05:24 PM by Patrik Jansson:
GraphicalProgrammingTool . . . November 08, 2010, at 09:16 PM by josefs: Created page
HaddockSupportForMarkdownSyntax . . . November 08, 2010, at 08:35 PM by josefs: Created the page
HackageQueryingTool . . . November 08, 2010, at 08:26 PM by josefs: Added the page
EfficientGenericLibraries . . . November 05, 2010, at 11:40 AM by Patrik Jansson:
HCAR . . . October 12, 2010, at 03:04 PM by jp:
WelcomeBackWalidSeminar . . . September 16, 2010, at 05:07 PM by Patrik Jansson:
GenProg . . . September 16, 2010, at 04:59 PM by Patrik Jansson:
ModellingCyberphysicalSystems . . . September 16, 2010, at 11:01 AM by Patrik Jansson:
QuickCheckAndQuickSpec . . . September 15, 2010, at 11:56 AM by John Hughes:
HighLevelProofsThatDontLeakLowLevelDetails . . . September 15, 2010, at 11:35 AM by John Hughes:
ReflectionsOnThePost-ModernStage . . . September 15, 2010, at 11:34 AM by John Hughes:
WalidTaha . . . September 15, 2010, at 11:32 AM by John Hughes:
Haskell20years . . . August 25, 2010, at 04:21 PM by Patrik Jansson:
Papers . . . June 17, 2010, at 10:51 PM by Patrik Jansson:
ChalmersFPWorkshop2010 . . . June 07, 2010, at 11:16 PM by Emil: Added Josef's slides
PuttingFPToWorkUsingDSLs . . . May 17, 2010, at 11:38 AM by Patrik Jansson:
EfficientGenericProgramsAndSpecifications . . . April 12, 2010, at 11:14 PM by Patrik Jansson:
Erasmus . . . March 12, 2010, at 12:16 PM by Patrik Jansson:
RecruitmentContacts . . . January 22, 2010, at 10:24 AM by Patrik Jansson:
TypeTheoryForSustainabilityModelling . . . December 01, 2009, at 09:38 PM by Patrik Jansson:
SEusingTypedFP . . . November 03, 2009, at 04:22 PM by Patrik Jansson:
ModellingClimateChange . . . October 13, 2009, at 04:15 PM by Patrik Jansson:
Deadlines . . . September 21, 2009, at 10:11 AM by Patrik Jansson:
VeryLazyEvaluation . . . June 19, 2009, at 09:40 PM by Patrik Jansson:
ChalmersFPWorkshop2009 . . . June 17, 2009, at 08:51 AM by Magnus B: Adding Magnus presentation
CaseStudiesInCryptol . . . May 19, 2009, at 03:44 PM by Patrik Jansson:
Internal . . . April 29, 2009, at 08:40 AM by Patrik Jansson:
VR2009 . . . April 27, 2009, at 02:26 PM by Patrik Jansson:
Description . . . March 25, 2009, at 10:52 PM by Patrik Jansson:
ApplicationsToSubmit . . . March 19, 2009, at 08:55 PM by Patrik Jansson:
Wouter . . . March 06, 2009, at 09:41 AM by Wouter: Added Hawk examples
YiModeForAgda . . . February 09, 2009, at 01:46 PM by Patrik Jansson:
AgdaModeForYi . . . February 09, 2009, at 01:44 PM by Patrik Jansson:
Test . . . January 22, 2009, at 09:11 AM by Patrik Jansson:
TestingARadioBaseStationWithQuickCheck . . . January 15, 2009, at 03:30 PM by Patrik Jansson:
TestingErlang-OTPWithQuickCheck . . . January 15, 2009, at 03:27 PM by Patrik Jansson:
IFIPWG21Meeting64 . . . January 05, 2009, at 07:12 PM by Patrik Jansson:
StaticCodeAnalysisForEmbeddedSystems . . . January 01, 2009, at 07:39 PM by Patrik Jansson:
PapersToWrite . . . December 22, 2008, at 12:41 AM by Patrik Jansson:
GAMSSoftwareTechnologyInfrastructure . . . December 14, 2008, at 12:09 AM by Patrik Jansson:
GAMSDevelopmentToolsRefactoringAnalysisVisualisation . . . December 12, 2008, at 11:04 AM by Patrik Jansson:
FPWebPages . . . December 05, 2008, at 12:14 AM by Patrik Jansson:
GAMSModelRefactoring . . . November 26, 2008, at 05:08 PM by Patrik Jansson:
GAMSRefactoring . . . November 26, 2008, at 05:07 PM by Patrik Jansson:
LLVMforTimber . . . November 24, 2008, at 02:57 PM by Bj�rn:
LLVMBackendForTimber . . . November 24, 2008, at 02:56 PM by Bj�rn:
SecureHaskellProgramming . . . November 24, 2008, at 10:04 AM by Patrik Jansson:
ExploringFirst-OrderModels . . . November 24, 2008, at 10:03 AM by Patrik Jansson:
ReasoningAboutInformationFlowInAWebBrowser . . . November 24, 2008, at 10:03 AM by Patrik Jansson:
QuickCheckingCCodeViaHaskell . . . November 24, 2008, at 10:03 AM by Patrik Jansson:
QuickCheckingStandardLibraries . . . November 24, 2008, at 10:03 AM by Patrik Jansson:
EfficientSort . . . November 24, 2008, at 10:02 AM by Patrik Jansson:
InteractiveParsingForHaskell . . . November 24, 2008, at 10:02 AM by Patrik Jansson:
DSL . . . November 09, 2008, at 09:11 PM by Patrik Jansson:
Obsidian . . . October 27, 2008, at 12:04 PM by Joel:
Derivation-CarryingCodeUsingDependentTypes . . . September 15, 2008, at 09:03 PM by Patrik Jansson:
ICFP08Travel . . . August 29, 2008, at 02:45 PM by Patrik Jansson:
GenericProgramsAndProofs . . . April 14, 2008, at 11:37 PM by Patrik Jansson:
VRProposals . . . March 28, 2008, at 12:40 PM by Patrik Jansson:
Other . . . March 11, 2008, at 10:56 PM by Patrik Jansson:
080311Workshop . . . March 11, 2008, at 10:56 PM by Patrik Jansson:
CollaborationsInsideChalmers . . . March 11, 2008, at 10:53 PM by Patrik Jansson:
BuildingTheGroupAndItsReputation . . . March 11, 2008, at 10:51 PM by Patrik Jansson:
WorkingMoreAsAGroup . . . March 11, 2008, at 10:49 PM by Patrik Jansson:
ResearchDirections . . . March 11, 2008, at 10:26 PM by Patrik Jansson:
CompGenLib . . . January 28, 2008, at 02:13 PM by Patrik Jansson:
ProjectsToDo . . . January 28, 2008, at 02:02 PM by Patrik Jansson: