rogerburtonpatel vml issues

rogerburtonpatel / vml

Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.

5 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Essential revisions

#50 rogerburtonpatel opened 1 month ago
0
Nr bulk revisions, in progress

#49 rogerburtonpatel opened 1 month ago
0
respond to comments of 18 April 2024 (sections 4 to 8)

#48 nrnrnr opened 2 months ago
0
Observe the State of the Union in 105

#47 rogerburtonpatel opened 2 months ago
3
Finish proof of sem. pres: V- -> D

#46 rogerburtonpatel opened 2 months ago
0
Finish proof of sem. pres: P+ -> V-

#45 rogerburtonpatel opened 2 months ago
0
Finish MC

#44 rogerburtonpatel closed 1 month ago
1
Nr Meeting Agenda 4/18

#43 rogerburtonpatel closed 1 month ago
1
Pair programming CAsubst

#42 rogerburtonpatel opened 2 months ago
0
respond to comments of 17 April 2024 (Abstract, sections 1 and 3) + Added Milod's responses

#41 nrnrnr opened 2 months ago
0
respond to comments of 9 April 2024

#40 nrnrnr closed 2 months ago
1
respond to comments of 8 April 2024

#39 nrnrnr closed 2 months ago
1
Make `vcon` always a manifest type

#38 nrnrnr closed 4 months ago
1
refine status of variables in match compilation

#37 nrnrnr closed 2 months ago
1
add a form of decision tree for match failure

#36 nrnrnr closed 2 months ago
1
Feb 27: Translation, P+ writing

#35 rogerburtonpatel closed 4 months ago
1
Pair programming options

#34 rogerburtonpatel closed 2 months ago
1
Review Feb 18 work

#33 rogerburtonpatel closed 4 months ago
6
Thesis chapter: pattern matching and its extensions

#32 nrnrnr closed 2 months ago
2
Discussion point: Verse can bind where or-patterns cannot

#31 nrnrnr opened 6 months ago
0
Write a first draft

#30 rogerburtonpatel closed 2 months ago
1
P+ → V-, V- → D, V- → V

#29 rogerburtonpatel closed 2 months ago
3
Formalize our correctness theorems

#28 rogerburtonpatel closed 6 months ago
1
Collect motivating examples of V- > P+

#27 rogerburtonpatel opened 6 months ago
0
Review the soundness theorem for V-minus after re-writing the judgement forms

#26 nrnrnr opened 6 months ago
3
Formalize all the hoped-for correctness theorems (about the translation)

#25 nrnrnr closed 2 months ago
1
Factor equation solving into its own judgment form

#24 nrnrnr closed 4 months ago
2
Pick better names for LaTeX macros for judgments

#23 nrnrnr closed 7 months ago
0
Translate P-plus to V-minus

#22 nrnrnr closed 2 months ago
2
Formalize a P-plus with patterns, side conditions, and pattern guards

#21 nrnrnr closed 4 months ago
3
State formally a soundness theorem for the operational semantics of V-minus

#20 nrnrnr closed 6 months ago
6
Implement match compilation as a source-to-source transformation

#19 nrnrnr closed 2 months ago
1
Complete the equation solver

#18 nrnrnr closed 4 months ago
4
Document and explain the language hierarchy

#17 nrnrnr closed 2 months ago
4
Review core equation rules in V-

#16 rogerburtonpatel closed 7 months ago
1
Write out syntactic forms that don't sufficiently restrict Verse

#15 rogerburtonpatel opened 8 months ago
2
Identify and formalize K-normal form for case expressions

#14 nrnrnr closed 7 months ago
1
Static analysis of variable dependencies?

#13 rogerburtonpatel closed 8 months ago
0
Cut out verse forms until we're there

#12 rogerburtonpatel closed 8 months ago
0
Formalize what we mean by a decision tree

#11 rogerburtonpatel closed 7 months ago
1
Deciding to use a lambda for `wrong` or not in `one`

#10 rogerburtonpatel closed 8 months ago
3
check out new software, looks very relevant to your interests

#9 nrnrnr closed 8 months ago
1
How is the scope of the existential in `guard` wrong in our old version of V?

#8 rogerburtonpatel closed 8 months ago
11
A *formal* attempt at "like pattern matching"

#7 nrnrnr closed 8 months ago
6
Complete syntax and forms of judgment for V-

#6 nrnrnr closed 7 months ago
3
what concept replaces "scrutinee" in Verse?

#5 nrnrnr closed 8 months ago
2
static analysis to identify Verse terms that are "like pattern matching"

#4 nrnrnr opened 9 months ago
9
build multiple translations from patterns to verse

#3 nrnrnr closed 7 months ago
5
Develop a desugaring of Scheme `cond` form into Verse

#2 nrnrnr closed 8 months ago
6
rough draft of introduction

#1 nrnrnr closed 8 months ago
5